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
DefiLlama
Open and transparent DeFi analytics
Ambush
AI research & products - accelerating onchain adoption
Ryder
The effortless hardware wallet secured by your social circle
Noble
Purpose-built for stablecoin issuance
Blockswap network
Permissionless web3 toolings for Ethereum
Layer
Layer builds AVS tools for fully decentralized apps using off-chain compute
Chia Network
The new standard in digital infrastructure and blockchain technology
Blocknative
Real-time observability for public blockchain networks