Applied Scientist – Formal Methods
| Company | Code Metal |
|---|---|
| Location | Boston, MA, USA |
| Salary | $Not Provided – $Not Provided |
| Type | Full-Time |
| Degrees | Master’s, PhD |
| Experience Level | Mid Level, Senior |
Requirements
- Advanced degree (Master’s or Ph.D.) in Computer Science, Mathematics, or a related field, with a focus on formal methods and programming languages.
- Strong programming skills in Python, C++, or C.
- Familiarity with automated theorem provers (e.g., PVS, Coq, Lean) and static analyzers (e.g., Frama-C, Infer, Polyspace) is a strong plus.
- Expertise in one or more of the following areas: model checking, theorem proving, SMT solving, program synthesis, program analysis, or runtime verification.
- Ability to translate technical research into practical engineering solutions.
- Excellent communication skills and a collaborative mindset.
- Must be legally authorized to work in the U.S.
Responsibilities
- Apply formal methods to analyze and improve the results of LLM-based code generation techniques.
- Design and prototype new techniques for software verification and static analysis.
- Apply and adapt tools and frameworks to make formal verification accessible to practicing engineers.
- Conduct experiments to evaluate the scalability and effectiveness of formal methods on industrial-scale codebases.
- Collaborate across multidisciplinary teams, contributing to both research initiatives and production-grade solutions.
Preferred Qualifications
- At least 4 years of industry experience
- Experience integrating formal methods into CI/CD pipelines or software development workflows.
- Exposure to Hardware Description Languages (e.g., Verilog, VHDL).
- Contributions to open-source formal methods tools.
- Experience working in high-assurance industries (e.g., aerospace, medical devices, automotive).