Software Engineer (Engineer III to Principal) - Formal Methods
🇺🇸
New York, NY, USA, Seattle, WA, USA, San Francisco, CA, USA
Formal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.
HaskellOCaml
Verified Jan 3, 2026
View listing