
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

Enso
A unified DeFi API that enables you to interact with all DeFi primitives conveniently

Evmos
Enter a world of Ethereum-based applications and assets enhanced by the interoperability of Cosmos

Arbitrum Foundation
We empower the development and governance of Arbitrum technology

Simplex
The fiat/crypto infrastructure for the entire world

Visa
Global payments technology company

Charged Particles
The groundbreaking new protocol that lets you put digital assets inside your NFTs

Gunzilla Games
We aim to create titles that players love and get lost in

Threshold Network
A decentralized threshold cryptography network