Jobs

Code Metal is seeking a Research Engineer specializing in Formal Methods to join their team, working at the intersection of theory and practice. This role involves applying, implementing, and integrating testing and verification tools into Code Metal products, collaborating closely with researchers and engineers. The ideal candidate will have an advanced degree in Computer Science or a related field, strong programming skills in Python, C/C++, or Rust, and a solid background in formal methods. Responsibilities include translating research into production-ready solutions, making formal verification accessible, and conducting experiments on industrial-scale codebases. This position requires the ability to obtain and maintain a U.S. Top Secret security clearance.