Applied Scientist - Formal Methods

Code Metal is seeking an Applied Scientist 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.

You will collaborate closely with a team of researchers and engineers developing innovative code generation pipelines that combine generative AI, static analysis, and formal verification techniques. You will leverage your expertise in formal methods to enhance Code Metal's workflows and drive innovation at the intersection of formal methods and artificial intelligence research.

• 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.

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.

• 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).

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.