CertiK is a blockchain security company specializing in smart contract auditing, formal verification, and on-chain monitoring. They provide cybersecurity solutions to help secure decentralized applications, blockchain protocols, and Web3 projects.
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.