Certora
About
Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. Smart contracts are driving a revolution in financial services commonly known as Decentralized Finance (DeFi) as well as in other online data processing services.
Open jobs
Browse and apply for open positions at Certora.
Browse, connect and join a team
Related startups
ParaSwap
We are the leading DeFi aggregator that unites the liquidity of decentralized exchanges and lending protocols
Tempo
The blockchain designed for payments
Ethereum Community Fund
Legitimacy doesn't grow in a blackbox
Utila
Secure, all-in-one digital asset operations platform for institutions
Perena
Decentralized stablecoin infrastructure
Virtually Human Studio
We experiment with emerging technologies in gaming, data and mixed reality
DeFiner
A permissionless and configurable decentralized lending protocol with protected privacy
Ledgible
Digital asset tax and accounting platform for institutions & professionals