Research Engineer - Formal Methods

About this role

Code Metal seeks a Research Engineer specializing in Formal Methods to translate verification research into production systems for mission-critical industries. You'll integrate formal methods tools and techniques into their code translation platform serving defense, aerospace, and automotive sectors.

What you'll do

• Translate formal methods research into implemented, production-ready solutions integrated into Code Metal products
• Adapt verification tools and frameworks to make formal methods accessible to practicing engineers
• Conduct experiments evaluating formal methods effectiveness on industrial-scale codebases
• Collaborate with research and engineering teams on both research initiatives and production solutions

What they're looking for

• Python, C/C++, or Rust programming
• Formal methods and verification techniques
• Theorem provers (PVS, Coq, Lean) or SMT solvers
• Static analysis tools and property-based testing
• Software engineering practices (version control, CI/CD, testing)
• Program synthesis and/or static analysis expertise
• Ability to bridge research and practical engineering
• Advanced degree (Master's or Ph.D.) in Computer Science, Mathematics, or related field

Benefits

• Competitive salary at upper end of range
• 100% premium coverage for medical, dental, and vision insurance
• 401(k) with 5% matching
• Uncapped vacation plus sick and public holidays
• Flexible hybrid or remote work options
• Relocation assistance for qualifying employees