Certora
2 open roles
Certora provides formal verification tools and smart contract audits for blockchain applications. The company's Prover platform uses mathematical verification to identify vulnerabilities in EVM, Solana, and Stellar smart contracts.
HIRING BY DEPARTMENT
ALL OPEN ROLES