What are the responsibilities and job description for the Applied Scientist - Formal Methods position at Code Metal?
Overview
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 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.
Responsibilities
Required Qualifications
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 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.
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
Required Qualifications
- 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.
- 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)
- 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
