About The Company

Our work touches every part of the web3 ecosystem, from layer 1 and layer 2 engineering, cryptography research, and security to application-layer protocol development. As core contributors to Ethereum's development, our execution layer client plays an important role in advancing the network, and we actively collaborate with the broader Ethereum community. Within the Starknet ecosystem, we deliver infrastructure and developer resources, including a node implementation, block explorer, Solidity-to-Cairo transpiler, and formal verification tooling.

We offer strategic support to our institutional and enterprise partners across blockchain, digital assets, and DeFi. Together we can guide you through all stages of the research and development process, from initial concepts to successful implementation.

Job Short Description

We’re seeking senior auditors and developers with smart contract auditing experience/knowledge to join our team. You’ll work on projects written in Solidity and Cairo. Knowledge of Rust and/or GoLang is a great plus. We are looking for someone who understands the Ethereum Virtual Machine, Yellow Paper, and the Solidity language. You’ll get the opportunity to work at the bleeding edge of Blockchain technology and interact with different teams working in every aspect of Ethereum and StarkNet.

Responsibilities:

Work directly with protocols in the Ethereum and StarkNet ecosystems to review their code and help secure their protocols;

Collaborate with teammates to maintain and continually improve our existing blockchain security tools using modern software engineering practices;

Develop new blockchain security tools;

Engage in meetings with clients to discuss security and best practice improvements.

Requirements:

PhD in Computer Science, Math or related field. 

3+ year(s) of experience in Solidity security analysis;

Solid understanding of the Ethereum Virtual Machine and Yellow Paper;

Fluency in Solidity development and the deployment of smart contracts;

Detailed understanding of common smart contract vulnerabilities;

Fluency with common tools and frameworks used for the development and security analysis of smart contracts;

Strong debugging skills and/or experience in reverse engineering;

Basic knowledge of Cairo and Starknet.