Description

Low-level programming (assembler skills, C / embedded devices programming), CairoLang Compilers / LLVM / assembly code / runtimes Ethereum Virtual Machine (EVM) Abstract algebra Cryptography Zero-Knowledge Proofs Solidity programming Financial mathematics (Options pricing, Monte Carlo simulations) Trantor Trantor is a group of tech-savvy blockchain & financial professionals that specialize in Technical Due Diligence (TechDD), DeFi Research, and Data Solutions for Institutional Clients entering and expanding in the blockchain & DeFi space. Skills that you will use and learn in the Trantor team include but are not limited to: DeFi Research Academic writing Business writing Technical writing How to perform the research professionally and factually Discover and detect valuable information from Crypto Twitter, Community Discord, and Protocol Forums Research tools (Parsec, Nansen) Technical Due Diligence How to investigate and evaluate various types of projects based on data and publicly available information How to see the business value in proposed products & protocols What are the most common Tokenomics models, and what are their principles Understand best practices of Risk Management How to communicate with internal & external stakeholders Data Solutions Building data analytics tools while using on-chain and off-chain data (Clouds, SQL, Python, data scrapping, data standardization, data orchestration, various blockchains, DeFi Lama, Elastic) Data visualization (Kibana, Metabase, Graphana, Dune Dashboards, Nansen Dashboards, Parsec Dashboards, Google Sheets) Data integration from external sources (REST and non-REST APIs, data feeds, data parsers) Data Infrastructure set-up (Clouds, VMs, DBs) Mentoring, leadership, and coaching 1:1 session with more senior Analysts and Researchers Continuous, open, and transparent feedback based on facts and quantitative factors Workshops, brainstorming, and design team sessions Regular team meetings to keep the information flow smooth and stable Research The Cryptography Research team at Nethermind leverages both theory and implementations to improve, build or break protocols related to cryptography and blockchain technology. The teams projects include proofs, decentralized identity/verifiable credentials, liquid staking on Ethereum, and non-deterministic programming (specifically, Cairo programming). Skills that you can use and learn working with the Cryptography Research team include: Cryptography Rust/C++/Cairo programming Understanding of blockchain consensus protocols Technical due diligence on novel blockchain projects Communicating research concepts through technical writing Smart-contract implementations, especially those related to zk-proofs Theoretical analysis and implementation of both STARKs and SNARKs Abstract algebra and its applications to cryptography and zero-knowledge Understanding and designing building blocks in Ethereum, such as Distributed Validator Technology, decentralized identity, and liquid staking, among others Our team is looking for two kinds of people: Cryptography enthusiasts who would enjoy analyzing, breaking, and designing cryptographic schemes. Engineers with some background in cryptography who enjoy making proof of concepts of novel cryptographic protocols, extending cryptographic libraries, and finding vulnerabilities in existing implementations. The Gauss workgroup is responsible for Smart Contracts Audits using manual inspection and automated analysis tools. The Lamport workgroup deals with the Formal Verification of Smart Contracts. Formal Verification is the act of proving or disproving the correctness of intended algorithms underlying a system concerning a certain formal specification or property using traditional mathematics methods. The Runge workgroup creates tools for monitoring Smart Contracts in real-time. Gauss Team The Gauss team focuses on security auditing of Smart Contracts. The team supports clients to achieve higher levels of confidence in their systems security and robustness, relying on manual review and different tools to check for possible vulnerabilities in the code and design. Skills that you will use and learn in the Gauss team include but are not limited to: Blockchain and Smart Contract Security Ability to detect logical bugs Gas optimization strategies The ideal candidate for the Gauss team has the following: 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 Lamport The Lamport team provides Formal Verification services for Smart Contracts and general software for the industry. We leverage the Lean proof assistant to formally verify smart contracts and compilers, and develop open-source tools for the community. The ideal candidate for the Lamport team has the following: 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 Runge Team The Runge Team is responsible for developing real-time monitoring solutions for Blockchain systems. We build generalized and protocol-specific detection bots on the Forta Network. The bots are developed after research into the latest techniques attackers use to exploit protocols, as well as researching the documentation and codebase of protocol clients. The ideal candidate for the Runge team has the following: 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 N ethermind Core The Core team works on Ethereum Protocol Engineering and is the longest-running team at Nethermind. Nethermind is a full Ethereum client implementation written in C# .NET. It runs on all major platforms supporting Ethereum mainnet, Clique, and AuRa chains, as well as Gnosis, Energy Web, and private networks. The Nethermind client comes with additional features, such as Prometheus/Grafana dashboards, seq enterprise logging, and complete JSON RPC, including two formats of tracing. Moreover, it offers a variety of advanced built-in plugins, notably Baseline and MEV. Skills that you will use and learn at the Core team include but are not limited to: Technical perspective .NET 6 Distributed networks (P2P) Performance and memory optimizations EVM / TransactionPool / JSON RPC Complex data structures Patricia/Merkle/Verkle tries RocksDB Broader perspective Work on EIPs with Ethereum Foundation and wider Ethereum community Work on Ethereum extensions Open source development Angkor This Angkor team is responsible for processes related to product development operations. Building processes, infrastructure, security, cloud, and administration is all within the scope of the Angkor team work. Skills that you will use and learn at the DevOps team include but are not limited to: 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. Bash scripting. Linux knowledge. 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 Skills that you will use and learn at the Metaverse/NFT team include but not limited to: Market research NFT smart contracts development Data analysis and building dashboards, metrics of the market 3D development and design Marketing strategies and creative thinking As a developer, you can build metaverse/nft tools Improve teamwork skills, participate in meetings, and have a personal mentor Venice (DeFi & Solidity Smart Contracts Development) This team works on programming Ethereum smart contracts to build systems for DeFi or Decentralized Finance. Skills that you will use and learn in the Venice team include but are not limited to: Solidity, Truffle, Hardhat, Ganache Decentralized Finance (structured product, derivatives) SDLC or Software Development Lifecycle Software engineering best practices Agile methodology Code review techniques What are the requirements and pre-requisite to apply We are looking for students and recent graduates with a strong background in software engineering, computer science, mathematics, financial mathematics, or quantitative finance. Previous knowledge in any of the following is helpful: DeFi AMM (automated market maker) Derivatives pricing (Options, Black Scholes, Futures, Swaps) Stochastic calculus Algorithms Cryptography Ethereum

Role and Responsibilities

• Low-level programming (assembler skills, C / embedded devices programming), CairoLang Compilers / LLVM / assembly code / runtimes Ethereum Virtual Machine (EVM) Abstract algebra Cryptography Zero-Knowledge Proofs Solidity programming Financial mathematics (Options pricing, Monte Carlo simulations) Trantor Trantor is a group of tech-savvy blockchain & financial professionals that specialize in Technical Due Diligence (TechDD), DeFi Research, and Data Solutions for Institutional Clients entering and expanding in the blockchain & DeFi space. Skills that you will use and learn in the Trantor team include but are not limited to: DeFi Research Academic writing Business writing Technical writing How to perform the research professionally and factually Discover and detect valuable information from Crypto Twitter, Community Discord, and Protocol Forums Research tools (Parsec, Nansen) Technical Due Diligence How to investigate and evaluate various types of projects based on data and publicly available information How to see the business value in proposed products & protocols What are the most common Tokenomics models, and what are their principles Understand best practices of Risk Management How to communicate with internal & external stakeholders Data Solutions Building data analytics tools while using on-chain and off-chain data (Clouds, SQL, Python, data scrapping, data standardization, data orchestration, various blockchains, DeFi Lama, Elastic) Data visualization (Kibana, Metabase, Graphana, Dune Dashboards, Nansen Dashboards, Parsec Dashboards, Google Sheets) Data integration from external sources (REST and non-REST APIs, data feeds, data parsers) Data Infrastructure set-up (Clouds, VMs, DBs) Mentoring, leadership, and coaching 1:1 session with more senior Analysts and Researchers Continuous, open, and transparent feedback based on facts and quantitative factors Workshops, brainstorming, and design team sessions Regular team meetings to keep the information flow smooth and stable Research The Cryptography Research team at Nethermind leverages both theory and implementations to improve, build or break protocols related to cryptography and blockchain technology. The teams projects include proofs, decentralized identity/verifiable credentials, liquid staking on Ethereum, and non-deterministic programming (specifically, Cairo programming). Skills that you can use and learn working with the Cryptography Research team include: Cryptography Rust/C++/Cairo programming Understanding of blockchain consensus protocols Technical due diligence on novel blockchain projects Communicating research concepts through technical writing Smart-contract implementations, especially those related to zk-proofs Theoretical analysis and implementation of both STARKs and SNARKs Abstract algebra and its applications to cryptography and zero-knowledge Understanding and designing building blocks in Ethereum, such as Distributed Validator Technology, decentralized identity, and liquid staking, among others Our team is looking for two kinds of people: Cryptography enthusiasts who would enjoy analyzing, breaking, and designing cryptographic schemes. Engineers with some background in cryptography who enjoy making proof of concepts of novel cryptographic protocols, extending cryptographic libraries, and finding vulnerabilities in existing implementations. The Gauss workgroup is responsible for Smart Contracts Audits using manual inspection and automated analysis tools. The Lamport workgroup deals with the Formal Verification of Smart Contracts. Formal Verification is the act of proving or disproving the correctness of intended algorithms underlying a system concerning a certain formal specification or property using traditional mathematics methods. The Runge workgroup creates tools for monitoring Smart Contracts in real-time. Gauss Team The Gauss team focuses on security auditing of Smart Contracts. The team supports clients to achieve higher levels of confidence in their systems security and robustness, relying on manual review and different tools to check for possible vulnerabilities in the code and design. Skills that you will use and learn in the Gauss team include but are not limited to: Blockchain and Smart Contract Security Ability to detect logical bugs Gas optimization strategies The ideal candidate for the Gauss team has the following: 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 Lamport The Lamport team provides Formal Verification services for Smart Contracts and general software for the industry. We leverage the Lean proof assistant to formally verify smart contracts and compilers, and develop open-source tools for the community. The ideal candidate for the Lamport team has the following: 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 Runge Team The Runge Team is responsible for developing real-time monitoring solutions for Blockchain systems. We build generalized and protocol-specific detection bots on the Forta Network. The bots are developed after research into the latest techniques attackers use to exploit protocols, as well as researching the documentation and codebase of protocol clients. The ideal candidate for the Runge team has the following: 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 N ethermind Core The Core team works on Ethereum Protocol Engineering and is the longest-running team at Nethermind. Nethermind is a full Ethereum client implementation written in C# .NET. It runs on all major platforms supporting Ethereum mainnet, Clique, and AuRa chains, as well as Gnosis, Energy Web, and private networks. The Nethermind client comes with additional features, such as Prometheus/Grafana dashboards, seq enterprise logging, and complete JSON RPC, including two formats of tracing. Moreover, it offers a variety of advanced built-in plugins, notably Baseline and MEV. Skills that you will use and learn at the Core team include but are not limited to: Technical perspective .NET 6 Distributed networks (P2P) Performance and memory optimizations EVM / TransactionPool / JSON RPC Complex data structures Patricia/Merkle/Verkle tries RocksDB Broader perspective Work on EIPs with Ethereum Foundation and wider Ethereum community Work on Ethereum extensions Open source development Angkor This Angkor team is responsible for processes related to product development operations. Building processes, infrastructure, security, cloud, and administration is all within the scope of the Angkor team work. Skills that you will use and learn at the DevOps team include but are not limited to: 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. Bash scripting. Linux knowledge. 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 Skills that you will use and learn at the Metaverse/NFT team include but not limited to: Market research NFT smart contracts development Data analysis and building dashboards, metrics of the market 3D development and design Marketing strategies and creative thinking As a developer, you can build metaverse/nft tools Improve teamwork skills, participate in meetings, and have a personal mentor Venice (DeFi & Solidity Smart Contracts Development) This team works on programming Ethereum smart contracts to build systems for DeFi or Decentralized Finance. Skills that you will use and learn in the Venice team include but are not limited to: Solidity, Truffle, Hardhat, Ganache Decentralized Finance (structured product, derivatives) SDLC or Software Development Lifecycle Software engineering best practices Agile methodology Code review techniques What are the requirements and pre-requisite to apply We are looking for students and recent graduates with a strong background in software engineering, computer science, mathematics, financial mathematics, or quantitative finance. Previous knowledge in any of the following is helpful: DeFi AMM (automated market maker) Derivatives pricing (Options, Black Scholes, Futures, Swaps) Stochastic calculus Algorithms Cryptography Ethereum