Research Engineer - Formal Methods jobs in United States
cer-icon
Apply on Employer Site
company-logo

Code Metal · 17 hours ago

Research Engineer - Formal Methods

positionUnited States
timeFull-time
remoteRemote
seniorityMid, Senior Level

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.

Artificial Intelligence (AI)Information TechnologySoftware

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

Qualification

Formal methodsProgramming in PythonProgramming in C/C++Software development practicesTheorem provingSMT solvingStatic analysisCommunicationCollaborative mindset

Required

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

Preferred

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)

Benefits

Health Care Plan (Medical, Dental & Vision)
401k with 5% matching
Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
Flexible hybrid work arrangement
Relocation assistance for qualifying employees

Company

Code Metal

twittertwitter
company-logo
Code Metal delivers an AI-based development platform that transforms high-level code into edge-optimized, production-ready deployments.
dateFounded in 2023
location
Boston, Massachusetts, USA
people-size51-200 employees
web-link
https://www.codemetal.ai

Funding

Current Stage
Growth Stage
Total Funding
$59.45M
Key Investors
AccelShield CapitalJ2 Ventures
2025-11-12Series A· $36.5M
2025-06-26Series Unknown· $6.5M
2024-07-23Seed· $13M

Recent News

CB Insights
Early-Stage Trends Report: Beyond LLMs, physical AI’s ChatGPT moment, and more in November
2025-12-20
Sourcery
CEO Bezos, Alex Karp, Elad Gil
2025-11-21
Boston Globe
Boston’s top cybersecurity companies are feeding a growing startup ecosystem
2025-11-19
Company data provided by crunchbase