Internship Program 2023
at Nethermind Remote
Note: Thank you for your interest in our internship program. We have had high numbers of people showing interest and we are extremely humbled by this. Due to high demand, we only have limited spaces for the next few months and we will only be interviewing and hiring the top candidates. This may change in the future. Cairo & Solidity: Master the art of smart contracts
Compilers, Assembly Code & Runtimes: Dive into the core of coding
Ethereum & Starknet Virtual Machines: Explore the engines of Starknet
Abstract Algebra: Explore the depths of mathematical structures
Cryptography: Unravel the mysteries of secure communication
Zero-Knowledge Proofs: Champion privacy in the digital age
Financial Mathematics: Master options pricing and Monte Carlo simulations
Protocol Design: Build the foundations of decentralized networks
P2P networking: Get connected without (and with all of) the middlemen Cryptography Theoretical analysis and implementation of both STARKs and SNARKs Understanding and designing building blocks in Ethereum, such as Distributed Validator Technology, decentralized identity, and liquid staking, among others Understanding of blockchain consensus protocols Abstract algebra and its applications to cryptography and zero-knowledge Rust/C++/Cairo programming Technical due diligence on novel blockchain projects Communicating research concepts through technical writing Smart-contract implementations, especially those related to zk-proofs Blockchain and Smart Contract Security Ability to detect logical bugs Gas optimization strategies Previous programming in writing Smart Contracts (Solidity, Cairo, or Rust) Blockchain and Ethereum Virtual Machine background Familiarity with the most common attack vectors for Smart Contracts Previous experience in CTFs Experience running static analyzers for Smart Contracts Written and verbal communication skills in the English language; Attention to detail and ability to diagnose software bugs Background on Formal Verification Experience in Writing formal specifications in Lean Knowledge of formally specifying programming languages. (Solidity, Yul, EVM, Cairo, etc.) Background on creating formal specifications of distributed systems Experience in Cryptography, Zero-Knowledge Proofs, and Abstract Algebra Blockchain and Ethereum Virtual Machine background Publishing and presenting research results both internally and externally Experience in writing and testing TypeScript Experience in reading and writing Solidity Experience in reading protocol documentation and audit reports Ability to provide thorough code reviews Up-to-date knowledge of exploits Knowledge of common DeFi services and products
Bash scripting.
Linux knowledge.
Deploy and maintain the blockchain infrastructure in a multi-cloud environment (DigitalOcean, AWS, Google Cloud, Linode, others)
Build and maintain company-wide CI/CD pipelines for different projects (Github Actions)
Write scripts, lambda functions, and even full applications with the language of your choice (preferably Bash/Python/Golang) that can help us improve the workflow.
Ethereum
node management
Docker and Docker-Compose
Monitor the infrastructure with tools like Grafana, Prometheus, Seq, OpsGenie
Automate work - yours and others’ (Terraform, Ansible)
Networking skills
High scalable systems
SecOps and
GitOps related practices
Orchestration with Kubernetes
"I’m super excited with this opportunity to take part in such an important project and to work with a team of really talented people. Not only it gives me a chance to learn a lot but also, I’ll be able to help in solving real world problems"*
Carmen Irene Cabrera Rodríguez, Cairo and Layer 2 Research Intern, Nubia team
