Back to Organizations
Certora
Certora provides formal verification tools and smart contract audits to secure blockchain protocols. Their flagship product, the Certora Prover, uses formal verification to mathematically prove that smart contracts are secure against vulnerabilities by checking every possible contract state and path against predefined rules. They also offer security audits conducted by a team of formal verification experts. Certora engages with the community through audit contests to crowdsource security specifications.
Distributed
Job Listings
DeFi Security Technical Writer
Europe
Full Time
Category: Technical Writing
Description
Certora is looking for a DeFi Security Technical Writer to communicate formal verification projects and document Prover technology for developers and non-experts.Formal Verification Wizard
Remote / Hybrid, Europe / Israel
Full Time
Senior
Category: Smart Contracts
Description
Certora is looking for a Formal Verification Wizard to lead adoption of formal methods and prove correctness of complex financial smart contracts.Developer Advocate
US Europe Israel
Full Time
Senior
Category: Devrel
Description
Certora is looking for a Developer Advocate to lead community audits, promote the Certora Prover, assist verification efforts and support security researchers.Head Of Product
Europe Israel
Full Time
Head
Category: Product Management
Description
Certora is looking for a Head of Product to lead product activity, simplify the Certora Prover for protocol developers, and prioritize the product roadmap.Senior Compiler Developer
Europe Israel
Full Time
Senior
Category: Engineering
Description
Certora is looking for a Senior Compiler Developer to work on an advanced automated formal verification tool for smart contracts.Executive Administrative Assistant
Israel
Category: Operations
Description
Certora is looking for an Executive Administrative Assistant to manage executive schedules, coordinate travel and events, and communicate with stakeholders.Senior Python Developer
Brno, Czech Republic
Full Time
Senior
Category: Backend
Description
Certora is looking for Senior Python Developers to build and maintain the data backend for an automated formal verification tool, deliver new features, debug failures, develop tests and write documentation.Web3 Security Researcher
US Europe IL
Full Time
Senior
Category: Smart Contracts
Description
Certora is looking for a Web3 security researcher to prevent critical bugs in smart contracts, apply formal verification to prove code properties, discover and responsibly disclose vulnerabilities, and monitor web3 security trends.Sales Representative
US Europe Israel
Full Time
Senior
Category: Sales