Cairo Developer

What are we all about?

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. View all our open positions here: https://www.nethermind.io/open-roles

Are you the one?

If you've envisioned yourself at the forefront of AI and ZK innovation, then Nethermind offers the perfect opportunity to transform that vision into reality. Nethermind is a Blockchain Research and Software Engineering company. We empower enterprises and developers worldwide to access and build on the decentralized web. Our work touches every part of the blockchain ecosystem - from fundamental cryptography research to application-layer protocol development. We are currently seeking talented and passionate Cairo Developers to join our growing AI and ZK group. Successful candidates will research, design, develop and optimize protocols and applications fundamental to the advancement of Ethereum, Starknet and Web3.

Responsibilities:

• Design and implement scalable and secure smart contracts, decentralized applications (dApps), and ZK protocols using the Cairo programming language.
• Collaborate closely with cross-functional teams, including cryptographers, mathematicians, and blockchain engineers, to develop and integrate advanced cryptographic primitives and algorithms.
• Optimize Cairo code for performance, gas efficiency, and security, ensuring the scalability and cost-effectiveness of our solutions.
• Contribute to the development and enhancement of Cairo tooling, compilers, and documentation to improve the developer experience.
• Stay up-to-date with the latest advancements in blockchain technology, cryptography, and the Ethereum ecosystem, actively participating in relevant communities and conferences.

Skills:

• Proven experience and proficiency in developing smart contracts using Cairo.
• Strong understanding of cryptography, zero-knowledge proofs, and their applications in blockchain technology.
• Familiarity with the Ethereum ecosystem, including EVM, Layer 2 scaling solutions, and Web3 technologies.
• Excellent problem-solving, analytical, and critical thinking skills.
• Strong communication and collaboration abilities, with the ability to work effectively in a team environment.
• Passion for decentralized technologies, cryptography, and the potential of Web3 to revolutionize various industries.

Nice to have:

• Familiarity with zk proof systems (ZK-STARK, ZK-SNARKs)
• Cryptography background
• Mathematics Background
• Having activity on GitHub is a significant advantage (please include links to projects or PRs that you have submitted to external projects)