Skip to main content

Code Metal

Research Engineer - Formal Methods

Boston Hub (Remote)fulltimemidAdded 1 month ago

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
Apply with Autofill

Opens the application — the Jobs AI extension fills it for you. Set up autofill

Opens the official application on the employer’s site. No login required.

Code Metal

Code Metal builds AI systems and algorithm-to-hardware platforms for mission-critical defense, aerospace, and automotive applications, with a focus on formal methods verification and human-machine collaboration. The company is hiring applied AI researchers, formal methods specialists, forward deployed engineers, and IT support staff to develop and deploy these advanced systems.

View all jobs at Code Metal

Likely interview questions

  • Walk us through a formal methods project where you translated research into a production-ready tool or system. What were the key challenges in bridging theory and practice?
  • Describe your experience with theorem provers (Coq, Lean, PVS) or SMT solvers. How have you applied them to real-world verification problems?
Unlock all 7 questions free — and practice them live →