Senior Formal Methods Engineer
Senior+
🇺🇸
Cambridge, MA, USA
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.
HaskellOCaml
Verified Dec 26, 2025
View listing