The Research Engineer will implement and integrate formal methods tools into products, collaborate with teams, and evaluate their effectiveness in industrial-scale applications.
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.
Requirements
Required Qualifications
- 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.
Top Skills
C/C++
Coq
Frama-C
Hypothesis
Infer
Lean
Polyspace
Pvs
Python
Quickcheck
Rust
Smt Solvers
Code Metal Boston, Massachusetts, USA Office
Boston, MA , United States
Similar Jobs
Artificial Intelligence • Enterprise Web • Software • Design • Generative AI
This role involves leading the revenue enablement strategy at Webflow, overseeing program execution, managing a team, and partnering with various departments to ensure success in customer-facing roles.
Top Skills:
GongSales Enablement Platforms
Cloud • Computer Vision • Information Technology • Sales • Security • Cybersecurity
The Integration Solution Architect collaborates with Integration Partners to create solutions, troubleshoot CrowdStrike products, and support strategic growth initiatives in cybersecurity.
Top Skills:
BashC++GoJavaPowershellPythonVbscript
Cloud • Computer Vision • Information Technology • Sales • Security • Cybersecurity
The Regional Sales Manager will drive new business and manage existing client relationships, achieving sales quotas and collaborating with internal teams. A focus on enterprise clients and networking at executive levels is key.
Top Skills:
Salesforce
What you need to know about the Boston Tech Scene
Boston is a powerhouse for technology innovation thanks to world-class research universities like MIT and Harvard and a robust pipeline of venture capital investment. Host to the first telephone call and one of the first general-purpose computers ever put into use, Boston is now a hub for biotechnology, robotics and artificial intelligence — though it’s also home to several B2B software giants. So it’s no surprise that the city consistently ranks among the greatest startup ecosystems in the world.
Key Facts About Boston Tech
- Number of Tech Workers: 269,000; 9.4% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Thermo Fisher Scientific, Toast, Klaviyo, HubSpot, DraftKings
- Key Industries: Artificial intelligence, biotechnology, robotics, software, aerospace
- Funding Landscape: $15.7 billion in venture capital funding in 2024 (Pitchbook)
- Notable Investors: Summit Partners, Volition Capital, Bain Capital Ventures, MassVentures, Highland Capital Partners
- Research Centers and Universities: MIT, Harvard University, Boston College, Tufts University, Boston University, Northeastern University, Smithsonian Astrophysical Observatory, National Bureau of Economic Research, Broad Institute, Lowell Center for Space Science & Technology, National Emerging Infectious Diseases Laboratories
