Overview
Senior Formal Methods Engineer developing software analysis tools using Haskell, OCaml, Coq, and SMT solvers. Focus on security verification, static analysis, and vulnerability detection across critical systems. Requires security clearance eligibility.
Key Information
- Seniority Level
- Senior+
- Locations
-
🇺🇸
Cambridge, MA, USA
- Remote Friendly
- No
- Languages
- HaskellOCaml