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
Zama
Open source cryptographic tools that make protecting privacy easy with Homomorphic Encryption
Risk Labs
The foundation and core team behind the Across and UMA Protocols
Double Protocol
Rental protocol for utility NFTs
GFX Labs
A multi-faceted blockchain research and development company
Giant
A global connectivity economy that is owned and governed by its users
GridPlus
The leader in web3 hardware security
Dusk
A Layer 1 capable of powering privacy-preserving smart contracts that satisfy business compliance criteria
Staking Rewards
The central hub to discover, manage and stake your crypto