What are we all about?
We are a team of world class builders and researchers with expertise across several domains: Ethereum Protocol Engineering, Layer-2, Decentralized Finance (DeFi), Miner Extractable Value (MEV), Smart Contract Development, Security Auditing and Formal Verification.
Working to solve some of the most challenging problems in the blockchain space, we frequently collaborate with renowned companies, such as Ethereum Foundation, StarkWare, Gnosis Chain, Aave, Flashbots, xDai, Open Zeppelin, Forta Protocol, Energy Web, POA Network and many more.
We actively contribute to Ethereum core development, EIP’s and network upgrades together with the Ethereum Foundation, and other client teams.
Today, there are nearly 200 of us working remotely from over 45+ countries.
About the role
We’re looking for developers with smart contract auditing experience/knowledge to join our newly fledged Cairo smart contract Auditing team. You’ll get the opportunity to work at the bleeding edge of blockchain technology by auditing StarkNet protocols and building cutting-edge security-related tooling for Cairo, StarkNet’s native smart contract language.
Work directly with the leading protocols in the StarkNet ecosystem to review their code and help secure their protocols.
Design and implement solutions & tooling for difficult engineering and security analysis problems.
Collaborate with teammates to maintain and continually improve our existing Cairo security tools using modern software engineering practices.
Develop new Cairo/StarkNet security tools.
1+ year 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.
High-level understanding of common smart contract vulnerabilities.
Strong debugging skills and/or experience in reverse engineering.
Nice to have:
Multiple years of prior experience in traditional cybersecurity (before transitioning to the blockchain space).