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

Research Engineer - Formal Methods

Code Metal

Mid levelHybridSan Francisco, CA, USA

Ready to dive into formal methods?

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 research into solutions
Adapt frameworks for engineers
Conduct experiments on codebases
Collaborate across teams

What they're looking for

Advanced degree in a related field
Strong programming skills in Python or C/C++
Proficiency in software development practices
Background in formal methods and software