SOFTWARE ENGINEER (ENGINEER III TO PRINCIPAL) - FORMAL METHODS
3 days ago
San Francisco
Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines. Identify new classes of security properties of smart contracts and formalize p...