Overview
Formal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.
Key Information
- Locations
-
New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA
🇺🇸 - Remote Friendly
- No
- Categories
-
Haskell OCaml