Code Metal

Research Engineer – Formal Methods

Code Metal

full-time

Posted on:

Location Type: Remote

Location: Massachusetts • United States

Visit company website

Explore more

✨ AI Apply
Apply

Tech Stack

PythonRust

About the role

  • Work closely with the research team to translate formal methods research into implemented solutions and integrate them into production-ready Code Metal products.
  • Apply and adapt tools and frameworks to make formal verification accessible to practicing engineers.
  • Conduct experiments to evaluate the applicability and effectiveness of formal methods on industrial-scale codebases.
  • Collaborate across multidisciplinary teams, contributing to both research initiatives and production-grade solutions.

Requirements

  • Advanced degree (Master’s or Ph.D.) in Computer Science, Mathematics, or a related field, with a focus on software engineering, formal methods, and programming languages.
  • Strong programming skills in Python, C/C++, or Rust.
  • Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines.
  • Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems.
  • Familiarity with interactive and automated theorem provers (e.g., PVS, Coq, Lean, SMT solvers), static analyzers (e.g., Frama-C, Infer, Polyspace), and property-based testing libraries (e.g., QuickCheck, Hypothesis) is a strong plus.
  • Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis.
  • Ability to translate technical research into practical engineering solutions.
  • Excellent communication skills and a collaborative mindset.
  • Preferred Qualifications
  • Experience integrating formal methods into CI/CD pipelines or software development workflows.
  • Contributions to open-source formal methods tools.
  • Experience working in high-assurance industries (e.g., aerospace, medical devices, automotive).
Benefits
  • - Health Care Plan (Medical, Dental & Vision).
  • - 401k with 5% matching.
  • - Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays).
  • - Flexible hybrid work arrangement.
  • - Relocation assistance for qualifying employees.
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools
PythonC/C++Rustformal methodstheorem provingSMT solvingprogram synthesisstatic analysisversion controlcontinuous integration
Soft Skills
communication skillscollaborative mindset
Certifications
Master’s degreePh.D.