Formal Methods Research Engineer - Remote

Code Metal; San Francisco (CA); Hybrid; USD 110,000 - 150,000; Full time

Benefits offered by this job

Health care plan with 100% premium coverage

401k with 5% matching

Uncapped paid time off

Job summary

Code Metal in San Francisco is seeking a Research Engineer specializing in Formal Methods to integrate testing and verification tools into products. You will work alongside researchers to drive innovation and collaborate across teams.

The ideal candidate has an advanced degree in a relevant field, strong programming skills in Python or C++, and experience with formal methods techniques. The role offers competitive benefits including health coverage and flexible work arrangements.

Qualifications

• Strong programming skills in Python, C/C++, or Rust required.
• Experience with version control, code review, and continuous integration is essential.
• Ability to translate technical research into practical engineering solutions.

Responsibilities

• Translate formal methods research into implemented solutions for Code Metal products.
• Conduct experiments to evaluate formal methods on industrial-scale codebases.
• Collaborate across teams to contribute to research initiatives and production-grade solutions.

Skills

Python programming

C/C++ programming

Rust programming

Software development practices

Education

Advanced degree (Master’s or Ph.D.) in Computer Science, Mathematics, or related field

Tools

Theorem provers (PVS, Coq, Lean)

Static analyzers (Frama-C, Infer, Polyspace)

Property-based testing libraries (QuickCheck, Hypothesis)

Job description

Code Metal in San Francisco is seeking a Research Engineer specializing in Formal Methods to integrate testing and verification tools into products. You will work alongside researchers to drive innovation and collaborate across teams.

The ideal candidate has an advanced degree in a relevant field, strong programming skills in Python or C++, and experience with formal methods techniques. The role offers competitive benefits including health coverage and flexible work arrangements.