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 full-time head of product who will lead all product activities. 

Work closely with our existing clients and internal team to achieve two goals: 

1. Define new security products that complement the Certora Prover. 
2. Make the Certora Prover an effective security tool for smart contracts developers.

Target audience: Solidity and Rust smart contract developers and security researchers.  

This role also includes prioritizing product roadmap to balance between projects, existing customers, and the security research community and developing disruptive products. 

Success Criteria:

1. Improve ease of use of the Certora Prover for finding bugs and proving their absence for Solidity and Rust code.
2. Help define R&D roadmap that increases the satisfaction of our customers and leads to increased recurring revenue. 
3. Increase the number of users.
4. Define complementary disruptive products together with our DeFi clients that improve code security and generate more recurring revenue.

• Product management experience
• Significant software development experience
• Outstanding undergraduate degree in exact science from an excellent university with evidence of excellence
• Both hands-on and lead the “high-level” picture 

Significant Advantage:

• Code security 
• Web3
• Graduate degree 
• A European time zone or Eastern US is preferable

Certora People

We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner.

We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable.

We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. 

We have a positive “can do” attitude. We support each other and are encouraged to ask for help and collaborate. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery.

We are Pioneers in DeFi security and FV experts - we are one of the best companies to help developers and security researchers secure Web3 but we’re humble and always eager to learn more.

Why join Certora?

Certora provides you a wonderful opportunity to:

• work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies
• contribute to unique formal verification technology, the leading way to ensure the behavior of any type of software 
• experience a friendly creative start-up environment with top talent in the domain
• work in a fast-paced and supportive culture: we move fast and break nothing!
• enjoy flexible work (remote / hybrid)
• get competitive compensation & benefits (including equity)