---
title: 'Research Engineer - Formal Methods at Code Metal'
canonical: 'https://feeny.ai/job/research-engineer-formal-methods-code-metal-boston-qr048yhmmhc4'
type: 'job'
last_seen: '2026-10-18'
---

# Research Engineer - Formal Methods at Code Metal

- **Company:** Code Metal
- **Location:** Boston, MA
- **Employment:** full-time
- **Work type:** hybrid
- **Posted:** 2026-05-22
- **Last confirmed live:** 2026-10-18
- **Apply:** https://jobs.ashbyhq.com/code-metal/550aed7b-86d2-48c3-af27-e61671e2d493

## Job description

## About Code Metal

Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it works, and AI cannot verify its own work with certainty. Code Metal takes a fundamentally different approach: constrain AI to what it does reliably, verify every step independently of the model using formal methods, and keep engineers in the loop on the decisions that matter. The result isn't code that probably works — it's code that is provably correct, with auditable proof. Customers including the U.S. Air Force, L3Harris, RTX, and Toshiba use Code Metal to modernize legacy code, optimize performance on real hardware, and move prototypes to production, fast. Founded in 2023 with offices in Boston and San Francisco, Code Metal is funded by Accel, Salesforce Ventures, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX, and others. Learn more at [codemetal.ai](http://codemetal.ai).

## About the Role

Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products. You will collaborate closely with researchers and engineers to embed formal methods techniques into Code Metal workflows, driving innovation at the intersection of formal methods and artificial intelligence research.

## Responsibilities

- Work closely with the research team to translate formal methods research into implemented solutions and integrate them into production-ready Code Metal products.
- Apply and adapt tools and frameworks to make formal verification accessible to practicing engineers.
- Conduct experiments to evaluate the applicability and effectiveness of formal methods on industrial-scale codebases.
- Collaborate across multidisciplinary teams, contributing to both research initiatives and production-grade solutions.

Required Requirements

- Advanced degree (Master’s or Ph.D.) in Computer Science, Mathematics, or a related field, with a focus on software engineering, formal methods, and programming languages.
- Strong programming skills in Python, C/C++, or Rust.
- Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines.
- Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems.
- Familiarity with interactive and automated theorem provers (e.g., PVS, Coq, Lean, SMT solvers), static analyzers (e.g., Frama-C, Infer, Polyspace), and property-based testing libraries (e.g., QuickCheck, Hypothesis) is a strong plus.
- Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis.
- Ability to translate technical research into practical engineering solutions.
- Excellent communication skills and a collaborative mindset.
- Eligible to obtain and maintain an active U.S. Top Secret security clearance

## Preferred Requirements

- Experience integrating formal methods into CI/CD pipelines or software development workflows.
- Contributions to open-source formal methods tools.
- Experience working in high-assurance industries (e.g., aerospace, medical devices, automotive).
- Active U.S. security clearance (Secret or Top-Secret)

## Benefits

- Pay depends on experience, but we strive to be at the upper end of the salary range
- Health care plan with 100% premium coverage, including medical, dental, and vision
- 401k with 5% matching
- Paid Time Off (uncapped vacation, plus sick and public holidays)
- Flexible hybrid or remote work arrangement
- Relocation assistance for qualifying employees

Wage Transparency - The salary range for this role is not a guarantee of compensation or salary, as the final offer amount may vary based on factors including, but not limited to, individual proficiency, skills, experience, and location.

We are an equal opportunity employer. US Citizenship may be required for certain project assignments involving security clearance.

Pursuant to the San Francisco Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.

## About Code Metal

## Company Overview
- **One-liner**: Code Metal provides an AI-powered platform for verifiable code translation, enabling mission-critical industries to safely move software to different hardware architectures and languages with formal verification.
- **Entity Type**: Private (Series B)
- **Headquarters**: Boston, Massachusetts, United States
- **Founded**: 2023
- **Founders**: Not publicly disclosed

## Core Business
- **Primary industry/industries**: Software development tools; defense, automotive, aerospace, robotics, logistics
- **Target customers**: B2B enterprise – engineering teams in safety-critical sectors (defense, automotive, aerospace, medical devices)
- **Mission or purpose statement**: "Make AI trustworthy by safely delivering the last mile for mission critical industries" ([codemetal.ai](https://codemetal.ai/))

## Products & Services
- **Verifiable Code Translation Platform**: An AI-driven tool that automatically translates source code to a target architecture/language while generating a full test suite (functional and MCDC coverage) and formally verifying functional equivalence. Designed for safety-critical and compliance-heavy environments.

## Market Standing
- **Valuation**: Not disclosed directly; latest round implies a post-money valuation in the hundreds of millions (conflicting reports).
- **Key Metric – Total Funding**: Conflicting data – $178.45M or $184.45M (see sources). Latest round was a $125M Series B in February 2026, led by **Salesforce Ventures**. ([cbinsights.com](https://www.cbinsights.com/company/code-metal) and [pitchbook.com](https://pitchbook.com/profiles/company/548367-58))
- **Notable Investors/Partners**: J2 Ventures, Shield Capital, Overmatch Ventures, Smith Point Capital, RTX Ventures, Salesforce Ventures (lead Series B), and 20+ others.
- **Growth Signals**: 
  - Headcount of 63 (as of mid-2026), growing 182.8% YoY.
  - Active job postings: 57, up 714% YoY. 
  - Customers include a top‑5 global automotive OEM, a top aerospace company, and L3Harris.
  - Patents filed for code translation and program synthesis using LLMs.

## Competitive Advantages
- **Formal verification + AI**: Unlike typical AI code assistants, Code Metal guarantees functional equivalence through automated testing and compliance checks, making it suitable for systems where failure is not an option.
- **Chip portability**: Allows customers to avoid vendor lock-in by maintaining a single source-of-truth codebase deployable to any chip (ARM, RISC‑V, GPUs, etc.).
- **Track record in defense/aerospace**: Already deployed with L3Harris and major aerospace/automotive firms, providing a strong reference base.

## Strategic Focus
- **Go‑to‑market**: Deepening relationships with defense primes and automotive OEMs while expanding into robotics, telecommunications, and medical devices.
- **Product development**: Investing in compiler and AI tooling, modeling & simulation, formal methods, and GPU/accelerator support (evident from open positions).
- **Scaling team**: Aggressively hiring across engineering, research, and go‑to‑market roles (Boston, San Francisco, remote).

## Why Work Here
- **Culture & impact**: "Building a global team of exceptional builders" – focus on solving hard problems at the intersection of AI, compilers, and safety-critical systems.
- **Work policy**: Offers roles in Boston, San Francisco, and fully remote (US). Many engineering/research positions list "Boston, Remote, San Francisco".
- **Notable perks/engineering culture**: Exposure to cutting-edge AI and formal methods; opportunity to work with top defense contractors; high autonomy and a flat structure (only 63 employees).
- **Growth trajectory**: 182.8% headcount growth and fundraising momentum signal rapid scaling and career advancement potential.

## Sources
1. [codemetal.ai – Homepage](https://codemetal.ai/)
2. [codemetal.ai – Careers](https://www.codemetal.ai/careers)
3. [CBInsights – Company Profile & Financials](https://www.cbinsights.com/company/code-metal)
4. [LinkedIn – Company Page](https://www.linkedin.com/company/code-metal)
5. [PitchBook – Valuation & Funding](https://pitchbook.com/profiles/company/548367-58)

## Other roles at Code Metal

- [Senior Technical Program Manager](https://feeny.ai/job/senior-technical-program-manager-code-metal-san-francisco-n0mxggkaz3bh) — San Francisco, CA
- [Senior AI Platform Engineer](https://feeny.ai/job/senior-ai-platform-engineer-code-metal-boston-v5jz647ej1yn) — Boston, MA
- [Proposal Coordinator](https://feeny.ai/job/proposal-coordinator-code-metal-remote-hcvtev4wg0ts)
- [Director of Growth - USMC](https://feeny.ai/job/director-of-growth-usmc-code-metal-washington-04pw0y6q9htq) — Washington, DC
- [Staff Software Engineer in Test, Compiler & Systems Validation](https://feeny.ai/job/staff-software-engineer-in-test-compiler-systems-validation-code-metal-san-m2ggj0pm8rqb) — San Francisco, CA
- [Staff AI Platform Engineer](https://feeny.ai/job/staff-ai-platform-engineer-code-metal-boston-cr0dg54w6ape) — Boston, MA
- [Lead Backend Engineer (Modeling & Simulation)](https://feeny.ai/job/lead-backend-engineer-modeling-simulation-code-metal-boston-je1kr40h93yn) — Boston, MA
- [People Operations Generalist](https://feeny.ai/job/people-operations-generalist-code-metal-san-francisco-cd3tb88t60zg) — San Francisco, CA
- [Senior Product Manager (Modeling & Simulation)](https://feeny.ai/job/senior-product-manager-modeling-simulation-code-metal-remote-esxz6etevmjh)
- [Account Executive, Financial Services](https://feeny.ai/job/account-executive-financial-services-code-metal-san-francisco-sqyy5m8qfx9d) — San Francisco, CA