Certora
0 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.
ALL OPEN ROLES
No open roles right now.