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 offering four products – 1 – Free formal verification of bytecode programs using state of the art technology, 2 – manual auditing powered by formal verification, 3 – premium support for users of our tool, and 4 – Enterprise security for Web3 clients using formal verification and complementary services.

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

You will be responsible for:

• improving ease of use of our product for finding bugs and providing their absence for Solidity and Rust code
• Helping to define R&D roadmap that increases the satisfaction of our customers and leads to increased recurring revenue
• Increasing the number of users
• Defining complementary disruptive products together with our DeFi clients that improve code security and generate more recurring revenue

CANDIDATE PROFILE

Relevant skills

• Product management experience
• Background in software development (development and design of programming languages, compilers, ability to comprehend small and complex computer programs, good understanding of logic)
• Outstanding undergraduate degree in exact science from an excellent university with evidence of excellence
• Management experience

Advantage

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

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)