We are a team of builders and researchers on a mission to empower enterprises and developers worldwide to access and build on decentralized systems.
Our expertise covers several domains: Ethereum and Starknet protocol engineering, layer-2, cryptography research, protocol research, decentralized finance (DeFi), security auditing, formal verification, real-time monitoring, smart contract development, and dapps and enterprise engineering.
Working to solve some of the most challenging problems in the blockchain space, we frequently collaborate with, such as Ethereum Foundation, Starknet Foundation, Gnosis Chain, Flashbots, Forta Protocol, Lido, EigenLayer, Open Zeppelin, RISCZero, Aleph Zero, and many more.
Today, there are nearly 200 of us working remotely from over 45+ countries.
The role:
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.
- 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.
Nice to have:
- Multiple years of prior experience in traditional cybersecurity (before transitioning to the blockchain space);
- Experience in Cairo development;
- Solid understanding of StarkNet;
- Good written and verbal communication skills;
- Understanding of most common DeFi applications.
- A portfolio of blog posts or presentations on DeFi or security-related topics;
- Publicly visible audit reports in your portfolio.
Perks and benefits:
- Fully remote
- Flexible working hours
- Plus equity
