Research Engineer - Formal Methods

Remote Remote · Boston Hub

pythonrust researchfulltime

ashby

Match & cover letter

Create a profile to see your match and get a cover letter for this role.

Create profile and match

Job description

Join Code Metal as a Research Engineer to apply formal methods in software verification. Collaborate with teams to integrate testing tools into production-ready products.

Details

Boston, remote work available
Salary depends on experience
Advanced degree in Computer Science, Mathematics, or related field required
Strong programming skills in Python or Rust

The work

Translate formal methods research into implemented solutions
Apply tools to make formal verification accessible to engineers
Conduct experiments on industrial-scale codebases
Collaborate across multidisciplinary teams