For our client, an Izrael/US Web3 security company and leader in SW verification focusing on the security and correctness of Ethereum smart contracts, we are looking for a Head of Product.

They are the only company that provides automated prover technology to verify smart contracts with no false alarms, strong formal correctness guarantees, and full automation. Their customers are some of the top DeFi protocol innovators; they develop smart contracts which are small event-driven programs invoked by end-users to execute financial transactions. Bugs in smart contracts can be exploited by malicious users and can lead to losses at the scale of millions or even billions of USDs. 

They are developing next-gen formal verification techniques to help top DeFis gain confidence in their contracts.

JOB DESCRIPTION

We are looking for a full-time Head of Product who will be responsible for the Flagship State-of-the-art product focused on verification of Ethereum Smart Contracts. Full remote possible with offices in Brno/UK/Germany/Israel and people with the highest degree and specialization working from all around the world. We will provide you with everything you need to grow together with our product.

The initial goal is to:

• Define new security products that would complement our flagship product
• Make our product an effective security tool for protocol developers

Our target audience is: Vyper, Solidity, and Rust developers and security researchers

• This role also includes prioritizing product roadmap to balance between projects and existing customers. This includes extending the offering to new blockchains.
• In addition, work closely with our existing clients and define new security products
• European time zone

CANDIDATE PROFILE

Relevant skills

• At least five years of Product experience
• Extensive knowledge of Blockchain and Defi
• Previous or active experience working on the Smart Contracts team
• Engineering background, including development and design of programming languages and compilers; ability to comprehend small and complex computer programs; good understanding of logic
• Computer Science or Mathematical Background from Top Schools
• Management experience
• Technical writing and verbal communication
• Evidence of excellence

WE OFFER

• Small, agile, and friendly environment
• You will work with top professionals in the field of Mathematics and Computer Science in a fast-growing blockchain/web3 security company.
• Opportunity to work on cutting-edge and challenging problems and State-of-the-art products
• Unlimited vacation
• Flexible working hours inside of European time zone
• Possibility to attend blockchain and formal verification-related conferences all around the world, or to visit other teams (mainly US and Israel)