Research Engineer - Formal Methods
Code Metal5 months ago
Remote, United States +2 moreMid Level
Responsibilities
- Translate formal methods research into implemented solutions and integrate them into production-ready products.
- Apply and adapt formal verification tools and frameworks for practicing engineers.
- Conduct experiments evaluating formal methods on industrial-scale codebases.
- Collaborate with researchers and multidisciplinary engineering teams on research and production-grade solutions.
Requirements
- Master’s or Ph.D. in Computer Science, Mathematics, or a related field focused on software engineering, formal methods, and programming languages.
- Strong programming skills in Python, C/C++, or Rust.
- Proficiency in version control, code review, testing, continuous integration, build systems, and release pipelines.
- Strong software engineering skills combined with a background in formal methods.
- Expertise in theorem proving, SMT solving, program synthesis, or static analysis.
- Ability to translate technical research into practical engineering solutions and communicate effectively in collaborative teams.
- Eligibility to obtain and maintain an active U.S. Top Secret security clearance.
- Familiarity with PVS, Coq, Lean, SMT solvers, Frama-C, Infer, Polyspace, QuickCheck, or Hypothesis is preferred.
- Preferred qualifications include formal methods integration into CI/CD or software workflows, open-source contributions, high-assurance industry experience, and an active Secret or Top Secret clearance.
Benefits
- Health care coverage with 100% premium coverage for medical, dental, and vision.
- 401k with 5% matching.
- Uncapped vacation, sick leave, and public holidays.
- Flexible hybrid or remote work arrangement.
- Relocation assistance for qualifying employees.
About Code Metal
Code Metal builds an AI-assisted code transpilation and verification platform that translates algorithms into optimized implementations for heterogeneous hardware (GPUs, FPGAs, ASICs, and edge SoCs). It serves defense, automotive, aerospace, and semiconductor teams deploying DSP, RF, communications, and embedded signal-processing workloads to constrained devices. Privately held and founded in 2023, the company is headquartered in Boston, MA.