Head of Product

We are looking for a full-time Head of Product who will lead the product activity. The main goal is to make the Certora Prover easier to use for protocol developers, Solidity, Rust, and Vyper, which includes defining Certora Verification Language (CVL).

This role also includes prioritizing product roadmap to balance between projects and existing customers.

In addition, responsibility for new products and solutions for more blockchains: Stellar, Solana, Near.

Relevant skills

• At least five years of Product experience.
• Strong engineering background, including development and design of programming languages and compilers; ability to comprehend small and complex computer programs; good understanding of logic. Preferably a graduate degree in formal methods or static analysis.
• Management experience.
• Evidence of excellence.
• Technical writing and verbal communication
• Outgoing personality
• Attention to detail
• Social media knowledge is an advantage
• Strong Defi understanding is an advantage.
• European time zone