Description
Code Metal is hiring a Research Engineer specializing in Formal Methods to translate formal methods research into implemented solutions, integrate verification tools into production products, adapt formal verification techniques for engineers, evaluate methods on industrial-scale codebases, and collaborate across research and engineering teams. The role requires an advanced degree in a relevant field, strong programming skills in Python, C/C++, or Rust, software development expertise, formal methods knowledge, and eligibility for a U.S. Top Secret security clearance. Benefits include 100% premium medical, dental, and vision coverage, a 401(k) match, paid time off, flexible hybrid or remote work, and relocation assistance.
