scout22 › Jobs › Code Metal › Research Engineer - Formal Methods

Research Engineer - Formal Methods

Code Metal

Mid levelHybridSan Francisco, CA, USA

Love bridging theory and practical tech?

Apply in one tap on the scout22 app — your details fill themselves in on every application Apply on Code Metal's website fill out every field yourself, every time

Already have scout22? Open this job in the app

About Code Metal

Code Metal is redefining code translation for mission-critical industries.

What you'd do

Translate formal methods research into implemented solutions
Integrate tools into production-ready products
Conduct experiments to evaluate formal methods
Collaborate with multidisciplinary teams

What they're looking for

Advanced degree in Computer Science, Mathematics, or related
Strong programming skills in Python, C/C++, or Rust
Proficiency in software development practices
Background in formal methods and software engineering

Perks

Health care plan with 100% premium coverage
401k with 5% matching
Uncapped vacation and paid time off