The ad says“Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines”
The ad says“Strong programming skills in Python, C/C++, or Rust”
The ad says“Strong programming skills in Python, C/C++, or Rust”
The ad says“Experience integrating formal methods into CI/CD pipelines or software development workflows”
The ad says“Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines”
The ad says“Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines”
The ad says“Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems”
The ad says“Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis”
The ad says“Strong programming skills in Python, C/C++, or Rust”
The ad says“Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines”
The ad says“Strong programming skills in Python, C/C++, or Rust”
The ad says“Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis”
The ad says“Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems”
The ad says“Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis”
The ad says“Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines”
The ad says“Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis”
The ad says“Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines”
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
You will collaborate closely with researchers and engineers to embed formal methods techniques into Code Metal workflows, driving innovation at the intersection of formal methods and artificial intelligence research
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
Benefits
Relocation assistance for qualifying employees
Health Care Plan (Medical, Dental & Vision)
Retirement Plan (401k, IRA)
Flexible hybrid work arrangement
Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
Preferred experience
Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems
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
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
Excellent communication skills and a collaborative mindset
Ability to translate technical research into practical engineering solutions
Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines
Strong programming skills in Python, C/C++, or Rust
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)
