Head of Product

You will lead the product function and drive the roadmap for Certora Prover and related offerings. You will make the Prover easier to use for Solidity, Rust, and Vyper developers and define the Certora Verification Language (CVL). You will prioritize work to balance new projects with existing customers, scope and launch products for additional blockchains (Stellar, Solana, Near), collaborate closely with engineering on language and compiler design, produce clear technical specifications and documentation, and communicate product decisions to stakeholders.

Responsibilities

• Lead product strategy and roadmap
• Define the Certora Verification Language (CVL)
• Simplify the product experience for Solidity Rust and Vyper developers
• Prioritize roadmap to balance new projects and existing customers
• Scope and launch products for Stellar Solana and Near
• Collaborate with engineering on programming language and compiler design
• Produce technical specifications and documentation
• Communicate product decisions to stakeholders
• Manage and mentor product staff

Requirements

• At least five years of product experience
• Strong engineering background including programming language and compiler design
• Ability to comprehend small and complex computer programs
• Good understanding of logic
• Preferably a graduate degree in formal methods or static analysis
• Management experience
• Technical writing and verbal communication skills
• Ability to work European time zone
• Strong DeFi understanding is an advantage
• Social media knowledge is an advantage