Brno, Czech Republic
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.
Certora’s flagship security product, Certora Prover, is a unique SaaS product which automatically locates even the most rare & hard-to-find bugs on your smart contracts or mathematically proves their absence. The Certora Prover plugs into your standard deployment pipeline. It is helpful for smart contract developers and security researchers during auditing and bug bounties. Our team consists of world-class formal verification experts who use this revolutionary technology to help our customers gain confidence in their contracts. It has already been used by the top DeFi protocols to secure 25 billion dollars. Some of our clients are MakerDAO, AAVE, Morpho, Ethereum Foundation, GMX.
Certora is offering four products: (1) free formal verification of bytecode programs using the Certora Prover Technology, (2) manual auditing powered by formal verification, (3) premium support for users of the Certora Prover, and (4) Enterprise security for Web3 clients using formal verification and complementary services.
We are looking for a Senior Python Developer to work on our data backend for an advanced automated formal verification tool.
Excellent salary and equity in a company with unique technology!