Software Engineer (Engineer III to Principal) - Formal Methods
2 days ago
Seattle
Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools. 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), ab...