Formal Methods Research Engineer - Remote

Code Metal; Boston (MA); Hybrid; USD 90,000 - 130,000; Full time

Benefits offered by this job

Health care plan with 100% premium coverage

401k with 5% matching

Uncapped vacation

Flexible hybrid or remote work arrangement

Relocation assistance

Job summary

Code Metal in Boston is seeking a Research Engineer specializing in Formal Methods to join their team. You will work at the intersection of theory and practice, applying and integrating testing and verification tools into Code Metal products.

The ideal candidate will have an advanced degree in a relevant field, strong programming skills, and the ability to translate formal methods into practical solutions while collaborating across multidisciplinary teams.

Qualifications

• Strong programming skills in Python, C/C++, or Rust.
• Demonstrated proficiency in software development practices.
• Ability to translate technical research into practical engineering solutions.

Responsibilities

• 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.

Skills

Python

C/C++

Rust

Formal Methods

Theorem Proving

Static Analysis

Education

Master’s or Ph.D. in Computer Science, Mathematics, or related field

Tools

PVS

Coq

Lean

Frama-C

Infer

Polyspace

QuickCheck

Hypothesis

Job description

Code Metal in Boston is seeking a Research Engineer specializing in Formal Methods to join their team. You will work at the intersection of theory and practice, applying and integrating testing and verification tools into Code Metal products.

The ideal candidate will have an advanced degree in a relevant field, strong programming skills, and the ability to translate formal methods into practical solutions while collaborating across multidisciplinary teams.