Europe / IL
Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. 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. 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 also provides services such as auditing, formal verification projects, and incident response.
We are looking for a full-time head of product who will lead the product activity.
Work closely with our existing clients to achieve two goals:
Target audience: Solidity, Rust, and Vyper developers and security researchers.
This role also includes prioritizing product roadmap to balance between projects, existing customers, and the security research community. This includes extending the offering to the Solana blockchain.
Daily activities: Decide on product roadmap with clients and the R&D team. Participate in strategic sales calls. Understand the pain points of smart contract security and the value proposition of the Certora Prover.
Mandatory Requirements:
Nice to have: