Software Engineer (Engineer III to Principal) - Formal Methods

OverviewFormal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.Key InformationLocations🇺🇸New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USARemote Friendly NoLanguages HaskellOCaml