About this role
Research Engineer - Formal Methods at Code Metal. Location: Boston or San Francisco or United States. Role: translating research, integrating tools, conducting experiments Requirements: Advanced degree (Master's or PhD) in CS/Math/software engineering, strong programming in Python/C/C++/Rust, familiarity with theorem provers, static analyzers, and property-based testing, and ability to obtain U.S. Top Secret clearance. Category: Research and Development (R&D) Seniority: Mid Level Tools: Python, C, C++, Rust, PVS, Coq, Lean, SMT solvers, Frama-C, Infer, Polyspace, QuickCheck, Hypothesis Certifications: top secret, secret Commitment: Full Time Workplace: Hybrid Languages: English