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

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

You will have the opportunity to work with and learn from some of the brightest minds in the space, to see how we approach hacking, threat modeling, scanning, auditing, designing, and enhancing the security of smart contracts across the board.

You will work on projects with us but also with our clients. You will have to review code and find bugs with our tool, reverse engineer, and make sure everything is secure. 

We are looking for exceptionally intellectual, bright, and technically driven individuals who can communicate their ideas clearly while working with clients to achieve their security objectives.

CANDIDATE PROFILE

You should have a strong understanding of Security primitives and be up to date with current exploits. Big Plus is awareness of the current DeFi landscape and experience with exploitation techniques of financial protocols.

Relevant Programming Skills: Python; Solidity; Rust; Vyper; Javascript/Typescript

Relevant Research Skills: 

• Strong debugging skills and/or experience in reverse engineering;
• Fuzzing and formal verification
• Detailed understanding of common smart contract vulnerabilities;
• Fluency with common tools and frameworks used for the development and security analysis of smart contracts;

Relevant Technical skills:

• Understanding of the Ethereum Virtual Machine
• Understanding of the Solana Virtual Machine

WE OFFER

• Small, agile, and friendly team
• Opportunity to work on cutting-edge and challenging problems
• Unlimited vacation
• Flexible working hours
• Possibility to attend blockchain and formal verification-related conferences all around the world, or to visit other teams (mainly US and Israel)