Internship Program

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.  Skills that you will use and learn at the Nubia team include but not limited to:

• Low level programming (assembler skills, C / embedded devices programming), CairoLang
• Compilers / LLVM / assembly code / runtimes
• EVM (Ethereum Virtual Machine) compiler
• Abstract algebra
• Cryptography
• ZKP (Zero-Knowledge Proofs)
• Solidity programming
• Financial mathematics (Options pricing, Monte Carlo simulations)

Synnax

The Synnax team aims to bring formal verification to any other team at Nethermind that may need it. We leverage the Lean proof assistant to formally verify smart contracts, compilers, etc... Our current focus is on verifying the Warp compiler. Skills that you will use and learn in the Synnax team include but not limited to:

• Writing formal specifications in Lean
• Formally specifying programming languages. (Solidity, Yul, EVM, Cairo, etc...)
• Formal specifications of distributed systems
• Cryptography, Zero-Knowledge Proofs and Abstract Algebra
• Collaborating with both internal and external customers and the teams responsible for the actual implementation
• Publishing and presenting research results both internally and externally