Research Engineer - Formal Methods
Code Metal4 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.