Are you a student in Computer Science or Cryptography? Are you excited about tackling complex programming problems, eager to acquire a deeper knowledge in your field of interest, and happy to work with talented and skilled staff to build a free, open-source, decentralized blockchain architecture dedicated to social good?

Then the Nomadic Labs internship program might be for you!

We at Nomadic Labs are one of the premier research and development centers of the Tezos ecosystem. We work on the core development, evolution, and adoption of this self-amendable blockchain protocol in France, Luxembourg, Belgium, and elsewhere. More than fifty talented engineers work with us, mixing industrial and academic skills and applying their expertise in distributed, decentralized and formally verified software.

In the previous internship program eight interns spent between three and six months working with us on various subjects, from peer to peer to building testing tools. They came from Université de Paris, the École normale supérieure, the École Polytechnique — and even from the Universidad Nacional de Rosario in Argentina.

By joining one of our teams as an intern, you will grow your skills in a collegiate and collaborative space, and help to build a free and open-source decentralized ecosystem that is as committed to doing social good, as it is to technical excellence.

Internship subjects

We are offering the following list of 13 internship topics — or you can come to us to propose your own (see below).

• Cartography, monitoring and analysis of the p2p network: build and use cartographer nodes to analyze network metrics and topology.

• Ad-hoc Static Analysis of Octez: extend or develop a pragmatic tool to analyze octez codebase and provide metrics to improve code quality.

• Memory footprint analysis of Ocaml concurrent programs: profile node by to evaluate the overhead of the currently used promise library

• FAT CAT, Formal Acceptance Testing of Contracts for Administering Tokens: use Coq proof assistant to formally verify token smart contracts and provide a testing tool for developers of such contracts.

• Generation of Scenario Tests: build a syntax extension tool that generates tests scenarios and reports from OCaml functions specifications.

• Tezos-metrics, Live Monitoring of Tezos Nodes: enhance an existing monitoring tool and add live analysis of the protocol execution.

• MechaTez, Formally Verifying Critical Features of Tezos Protocols: extend existing Coq formal verification of the protocol to target new features

• Integrating static analysis in smart contract development tools: build an lsp based interface for michelson and brought it to actual development tool

• How to Reason on Traces between Tezos Nodes: build a logical framework to analyze traces of messages exchanged by tezos nodes

• Contribute to the next Tezos blockchain protocol amendment: build a new feature for the protocol, from start to finish.

• React/Reason programming on a wallet application in a blockchain setting: take part on the development of the umami-wallet using React and ReasonMl.

• Improve our Formal Verification Framework: design and implement formal tools in an industrial setting.

• Comparing Program Proof Tools for OCaml Programs in an Industrial Setting: benchmark formal verification tools for OCaml, and experiment especially with FreeSpec.

You can also propose your own project, provided it is close to Tezos or the work we do at Nomadic Labs. Please just describe your interests and outline your ideal internship, and we will be happy to discuss developing the topic together.

To submit your application, please send an email to internship@nomadic-labs.com, or click or follow the link of the desired subject and fill in the form at the bottom of the page.

Are you a lecturer who would like to share these internships with your students? Thank you sincerely for your interest: please feel free to share our 2021-22 internship catalog.