Research Engineer in Formal Methods

Join Code-Metal as a Senior Recruiter and play a pivotal role in shaping our workforce. In this dynamic position, you will leverage your expertise to attract and engage top talent in a competitive market. You will be responsible for managing the full recruitment lifecycle, from crafting compelling job descriptions to conducting interviews and negotiating off…

Join Code Metal, where we are at the forefront of developing innovative AI-powered transpilation tools that seamlessly connect algorithm development with deployment for embedded systems. As a Senior Software Engineer specializing in Agentic AI, you will be instrumental in designing and executing sophisticated code generation pipelines that incorporate Generative AI, Static Analysis, and Formal Verification methodologies. This role provides a unique opportunity to influence the evolution of automated, AI-driven software translation for critical applications.Architect and implement intricate workflows utilizing state machines, message queues, and distributed processing.Leverage Docker and related technologies to maintain dependable and reproducible environments.Develop robust, modular codebases for code translation products that are thoroughly tested.Collaborate with domain experts to integrate verification techniques into AI-enabled code generation processes.Guarantee high availability and scalability of AI services through cloud platforms and distributed system architectures.

Join us in transforming how the Department of Defense approaches multi-billion-dollar force design decisions. In this pivotal role, you will integrate physics-driven simulations, interactive computing, and verified AI code-generation to develop cutting-edge wargaming platforms. We are looking for a seasoned software engineer who can take ownership of critical components within a scalable, cloud-distributed simulation environment, while inspiring and leading a dedicated team.Your Responsibilities Create and implement a robust, interactive physics simulation that operates flawlessly across cloud and on-premises clusters. Manage core functionalities in modern C++, focusing on multi-threaded performance tuning and continuous integration. Collaborate with product and AI teams to integrate verified AI-generated algorithms into a developer SDK that enhances the platform. Rapid prototyping and iteration: deliver functional capabilities to government end-users in weeks, not months. Set high engineering standards: produce clean code, maintain rigorous documentation, and mentor team members through code reviews and pair programming. Why Choose Code Metal? Impactful Mission: Your contributions will shape digital battlefield models that directly affect real-world acquisition strategies. Agility: Work within small teams, experience rapid iteration cycles, and have the authority to deliver solutions. Ownership: Everyone is a contributor—no passengers, everyone pushes code to production.

Empower decision-makers with timely insights at Code Metal. Here, real-time physics simulations, AI-driven insights, and operational actions coalesce into expansive data streams. As the lead for our Visualization & Frontend team, you will transform this overwhelming influx of information into sophisticated, impactful experiences that inform multi-billion-dollar strategic choices in force design, guided by wargaming principles. We seek a hands-on architect to construct a modular UI stack, navigate complex geospatial and temporal data, and mentor a select group of talented engineers to deliver high-quality products swiftly.Your Responsibilities Architect an innovative UI framework: Create a component library and plugin architecture that enables internal teams and future partners to enhance visualizations without altering the core codebase. Render data at scale: Develop responsive visualizations that combine live simulation outputs, AI insights, and historical data into a seamless, interactive timeline. Integrate smoothly: Utilize FastAPI/ZeroMQ endpoints from the backend and provide well-versioned client APIs for mission planning and dashboards. Collaborate with stakeholders and UX design leads: Continuously refine user experience based on performance metrics and feedback from Air Force wargamers and UX specialists. Lead by example: Promote UI/UX best practices, conduct code reviews, participate in design critiques, and implement automated testing; support team members in becoming force multipliers. Continuous deployment: Manage the CI/CD pipeline for web and desktop applications, with a focus on DoD accreditation and cross-domain distribution. Why Join Code Metal? Impactful mission: Your visualizations will contribute to discussions that shape the future of military force structure. Agility: Work in tight iterations with small teams—design in the morning and deploy by evening. Ownership: No bystanders here—every engineer plays a crucial role in shipping meaningful code.

Join our dynamic team as a Principal Software Engineer specializing in Program Analysis for AI! We are on the lookout for a highly skilled software engineer to spearhead the development of next-generation transpilation tools that leverage AI and advanced verification techniques. Your work will play a crucial role in bridging the gap between algorithm development and the deployment of these algorithms in embedded systems.In this pivotal position, you will lead the design and implementation of innovative code generation pipelines that integrate Generative AI, Static Analysis, and Formal Verification methods to facilitate the translation of code from one programming language to another.

Job TitleLead Principal Software Engineer - Python AI PipelinesOverviewJoin our innovative team at code-metal, where we are pioneering the next generation of transpilation tools powered by artificial intelligence and cutting-edge verification techniques. Our mission is to seamlessly connect the realms of algorithm development and deployment for embedded systems.In this pivotal role, you will be at the forefront of designing and implementing advanced code generation pipelines. Our methodologies incorporate a blend of Generative AI, Static Analysis, and Formal Verification to facilitate the translation of code from one programming language to another.

Join us in transforming how the Department of Defense approaches multi-billion-dollar force-design decisions. As a Senior Backend Platform Engineer, you will integrate physics-driven simulations, interactive computing, and validated AI code generation to develop cutting-edge wargaming platforms. If the prospect of creating ultra-low-latency APIs, managing high-volume geospatial data, and leading with clean, production-ready Python excites you, we want to hear from you!Your ResponsibilitiesOwn the service layer: Design, build, and scale FastAPI microservices and ultra-fast ZeroMQ messaging pipelines in Kubernetes and bare-metal clusters.Wrangle data at speed & scale: Shape and query multi-TB Postgres/PostGIS datasets, orchestrate Redis for sub-millisecond state, and ensure stability under bursty loads.Glue the stack together: Expose crisp, well-versioned REST & WebSocket endpoints for the frontend team and simulation kernel.Ship continuously: Automate CI/CD, observability, and security hardening to meet DoD standards; deploy to production with confidence.Lead by example: Drive code reviews, mentor team members, and set the standard for test coverage and documentation.Why Choose Code Metal?Mission with Impact: Your work will contribute to the digital infrastructure of modern battlefields, influencing multi-billion-dollar defense acquisitions.Velocity: Work in tight-knit teams with weekly releases and no bureaucratic delays.Ownership: Every engineer is empowered to ship significant code without being a passenger.

At WHOOP, our mission is to unlock human performance and enhance healthspan. We empower our members to elevate their performance through a profound understanding of their physiology and daily habits, transforming physiological data into actionable insights that promote behavioral change and long-term health benefits.We are seeking a Senior Business Recruiter who will be pivotal in driving our global expansion across essential business functions. This role is crucial for scaling our organization through high-volume recruitment, intricate niche searches, and selective executive engagements. The ideal candidate will be a strategic talent partner and results-oriented operator, adept at navigating ambiguous situations to efficiently identify and secure top-tier talent in competitive markets.

Join Zoox as a Senior Technical Recruiter and play a pivotal role in shaping our engineering team. You will leverage your expertise in sourcing, evaluating, and hiring top-tier talent in the tech industry. Collaborate with hiring managers to understand their needs and drive the recruitment process from start to finish.

Suno is building a platform that opens up music creation to everyone, from first-time songwriters to Grammy-winning artists. The team aims high, works quickly, and values both creativity and quality. Backed by Menlo Ventures, Lightspeed Venture Partners, Matrix Partners, and NVentures (NVIDIA’s venture arm), Suno is growing fast and shaping new ways for millions to make music. Role overview This Senior Technical Recruiter role is a new addition to Suno’s recruiting team, created to support the company’s next phase of growth. The recruiter will focus on building out engineering teams as Suno expands its AI-driven music platform. What you will do Work closely with hiring managers and technical teams to understand their needs Design and execute search strategies to find candidates who will thrive in Suno’s collaborative, creative culture Help improve recruiting processes and strengthen Suno’s employer brand Play a key part in scaling the team during a pivotal expansion phase Listen to the song we created about this role

Join our innovative team at Code Metal as a Senior Software Engineer specializing in Rust and Python. We are at the forefront of creating cutting-edge AI-powered transpilation and code generation tools that seamlessly connect algorithm development with embedded deployment. By utilizing the latest advancements in Generative AI, Static Analysis, and Formal Verification, you will play a crucial role in shaping the future of software engineering.This role transcends traditional backend responsibilities; we are searching for engineers with a holistic approach to system design and development. You will engage with user needs and UX, delivering resilient and scalable solutions across the entire technology stack.

Later is the leading influencer marketing platform, designed to empower brands to craft unforgettable campaigns. By leveraging authentic creator relationships, trusted insights, and expert support, Later alleviates the uncertainty associated with marketing investments.With an AI-driven platform built on over a decade of proprietary data—spanning billions of social interactions and $2.4B+ in verified influencer-driven purchases—Later equips teams with the knowledge to make informed decisions before launching campaigns.By merging actionable insights with expert direction, Later eliminates the guesswork from influencer marketing, allowing brands to select the right creators, manage comprehensive campaigns, and drive substantial growth in awareness, engagement, and revenue. Trusted by top-tier enterprise brands such as Nike, Wayfair, Unilever, and Southwest Airlines, Later harmonizes creativity with performance, ensuring that campaigns not only look great but deliver tangible results. Discover more at later.com.Position Overview:We are seeking a Lead Technical Recruiter to spearhead impactful recruitment efforts for our product, engineering, data, and AI teams. This pivotal role is integral to building the teams that will drive Later's future growth.As a strategic partner to R&D leadership, you will design and implement data-driven talent strategies to attract and secure exceptional candidates. You will also be the face of Later in the Boston area—cultivating relationships, enhancing our visibility, and representing the company externally.This is a player-coach role that encompasses leadership responsibilities and full ownership of technical hiring outcomes.Your Responsibilities:Strategic InitiativesDevelop and manage a nationwide R&D talent strategy with a strong emphasis on the Boston market, informed by market trends, academic partnerships, and technical communities.Collaborate with R&D and business leaders to translate organizational objectives into clear, actionable hiring plans.Design and continually enhance scalable, structured, and equitable recruitment processes that prioritize candidate quality, efficiency, and experience.Advocate for the responsible and transparent application of AI in recruitment while upholding trust, fairness, and data integrity.Act as a subject matter expert on technical talent markets, compensation trends, and recruiting technologies.

Join us in transforming how the Department of Defense (DoD) approaches multi-billion-dollar force design decisions. As a Senior Principal Software Engineer, you will integrate physics-based simulations, dynamic computing, and validated AI code generation to develop state-of-the-art wargaming platforms. We are looking for a proactive leader who can architect and develop a scalable, cloud-distributed simulation environment while motivating a small, dedicated team through hands-on leadership.Your ResponsibilitiesDesign & Implement: Create a robust, interactive physics simulation that operates efficiently across cloud and on-premises clusters.Own the Core Codebase: Manage the modern C++ codebase, focusing on multi-threaded performance optimization and continuous integration practices.Collaborate: Work closely with product and AI teams to incorporate verified, AI-generated algorithms directly into a developer SDK for platform enhancement.Prototype & Iterate: Deliver functional capabilities to government end-users in weeks, not months, through rapid prototyping.Set Engineering Standards: Uphold high coding standards, document processes thoroughly, and mentor team members through code reviews and pair programming.

Be a Catalyst for Positive Change at Axon.At Axon, our mission is to Protect Life. We are innovators tackling the most pressing safety and justice challenges with our comprehensive suite of devices and cloud-based solutions. Our collaborative culture thrives on open communication and inclusivity, as we value diverse insights from our customers, communities, and team members.Working at Axon is a dynamic, fulfilling experience. Here, you’ll take charge and instigate genuine change while growing in a purpose-driven environment where your contributions are valued.Global Talent AcquisitionThis is not a traditional recruiting position.This role is pivotal and impactful for recruiters who excel at winning talent, collaborating with senior leadership, and seeking meaningful work beyond merely filling positions. At Axon, we recruit not just for roles, but for a mission: to safeguard lives, foster trust, and build safer communities. We are agile, ambitious, and expect our recruiters to bring confidence, boldness, and determination to the forefront. If you thrive on challenging searches, possess strong convictions, make data-driven decisions, and communicate candidly with leadership, you will be an excellent fit.Your ContributionAs a Senior Go-To-Market Recruiter at Axon, you will lead end-to-end recruiting efforts for high-impact sales roles that are crucial to our growth and mission. You will serve as a talent advisor, shaping job specifications, guiding hiring strategies, and developing scalable pipelines. You will partner closely with motivated sales leaders, operate with urgency and accountability, and elevate the standards for excellence within our sales organization. Teamwork is essential, but your ownership is paramount—and you will have ample opportunity to own your role.What You’ll DoThis position is based in our Boston, MA office (Back Bay) and follows a hybrid work model. We encourage in-person collaboration and require team members to work onsite from Tuesday to Friday, with flexibility for remote work on Mondays unless specific workplace accommodations are in place. We believe that collaboration leads to innovation.

Join our dynamic marketing and communications team as a Digital Marketing Specialist at JVS Boston! In this pivotal role, you will assist in crafting engaging content, driving program outreach, supporting events, and performing various essential tasks. Your contributions will be vital in promoting JVS Boston’s diverse program offerings, managing our vibrant social media presence, and designing impactful digital and print materials that align with our communication and marketing strategy.We seek a creative individual with a keen eye for aesthetics and a solid background in graphic design, photography, social media campaigns, and versatile writing tailored for diverse audiences. As part of our Advancement department, you will play a crucial role in client-facing outreach and donor engagement efforts.

Anduril Industries is at the forefront of defense technology, dedicated to revolutionizing military capabilities for the United States and its allies through advanced technological solutions. We leverage the expertise, innovation, and business strategies of the 21st century's leading companies to reshape how military systems are conceptualized, developed, and deployed. Our systems are driven by Lattice OS, an AI-powered operating system that integrates vast data streams into a real-time, 3D command and control environment. As we face a new era characterized by strategic competition, Anduril is steadfast in its mission to deliver cutting-edge autonomy, AI, computer vision, sensor fusion, and networking technologies to the military in a matter of months, not years.As a vital member of Anduril's recruiting team, you will oversee our talent acquisition efforts as we experience rapid expansion. This role requires hands-on collaboration with both leadership and team members to accurately define the company's hiring needs. You will be empowered with the autonomy and resources necessary to implement our strategic vision for building and nurturing Anduril's world-class team. We seek a candidate who thrives on ownership and is enthusiastic about contributing to a tight-knit team where no task is too great or small.We are looking for a Senior Technical Recruiter to lead surge hiring efforts within our Maritime Division. The ideal candidate will possess experience in startups, technology, and relevant industry domains.This position is available as a 6-month contract. Location options include Costa Mesa, CA, Boston, MA, or Quincy, MA.

At WHOOP, we are dedicated to transforming human performance and enhancing healthspan. Our innovative platform empowers members to elevate their performance by gaining deeper insights into their bodies and daily routines. As a Senior Technical Recruiter, you will be instrumental in expanding our high-caliber technical teams across engineering, data science, and product management. Collaborating closely with technical leadership, you will craft and execute strategies for talent acquisition, oversee the full-cycle recruitment process for specialized roles, and contribute to building a mission-driven, excellence-oriented team that is passionate about our vision.

Anduril Industries is a pioneering defense technology company focused on revolutionizing military capabilities for the U.S. and its allies through cutting-edge innovations. We leverage the expertise and technologies of the most forward-thinking companies of the 21st century to reshape how military systems are conceived, developed, and deployed. Our advanced systems operate on Lattice OS, an AI-driven platform that transforms numerous data streams into a real-time, 3D command and control center. As we navigate a new era of strategic competition, Anduril is dedicated to delivering groundbreaking advancements in autonomy, AI, computer vision, sensor fusion, and networking technology to the military swiftly.As a vital member of Anduril's recruitment team, you will spearhead our talent acquisition efforts in alignment with our rapid growth trajectory. Your role will be highly collaborative, working closely with leadership and team members to assess and fulfill the company's hiring needs. With the freedom to employ our recruitment strategy effectively, you will build and nurture Anduril's exceptional team. We seek a proactive individual who thrives on ownership and is eager to contribute to a dynamic team where every responsibility is valued.We are in search of a Senior Technical Recruiter to manage surge hiring within our Maritime Division. The preferred candidate will possess experience in startup environments, technology sectors, and relevant domains.This is a 6-month contract role. Location options include Costa Mesa, CA, Boston, MA, or Quincy, MA.

About the Role:As the Chief Financial Officer (CFO) at Jewish Vocational Services Inc. (JVS), you will play a pivotal role in shaping our financial strategy and ensuring the sustainability of our mission-driven initiatives. You will oversee financial planning, risk management, record-keeping, and financial reporting, while working closely with the executive team to drive operational efficiency and fiscal integrity.