Research Engineer - Formal Methods
Code MetalAI-powered Code company
Boston, United StatesSenior
Salesforce Ventures
Accel
B Capital
Smith Point Capital
J2 Ventures
Shield Capital
Data & AI
About the role
TL;DR
Apply formal methods to develop robust and maintainable systems for Code Metal.
- •Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team.
- •In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products.
- •Key Responsibilities 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.
- •Eligible to obtain and maintain an active U.S.
- •Top Secret security clearance
Required skills
PythonRustCI/CD
Nice-to-have skills
CI/CD
Domain expertise
defenseaerospaceautomotivehealthcare
Benefits & perks
Health care plan with 100% premium coverage, 401k with 5% matching, Paid Time Off, Flexible hybrid or remote work arrangement, Relocation assistance
Tech stack
PythonRust