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
Hack VC
Web3 VC firm. We partner on- and off-chain with hackers building the future of the internet
Wanchain
Our cross-chain infrastructure empowers developers to build the future of Web3
Knabu
We're building a new clearing infrastructure
goTenna
Building the programmable mobile infrastructure of the future: mesh networking
Finoa
The regulated crypto platform for smart capital allocators
Flipster
A trading platform for the many, not the few
Penumbra Labs
A fully private, cross-chain proof-of-stake network and decentralized exchange for the Cosmos and beyond