Internship - Porting MirageOS to IoT devices


Tarides is a tech start-up founded in Paris in 2018 by pioneers of programming languages and cloud computing. Tarides develops a software infrastructure platform to deploy secure, distributed applications with strict resource constraints and low-latency performance requirements. Today, Tarides is composed of a diverse team of 35+ people.

Tarides has been part of the Founder program of Station F in 2018 (6% acceptance rate) and has been selected in France within “Concours d’Innovation i-Lab” organized by the French Ministry of Higher Education, Research and Innovation in partnership with Bpifrance (15% acceptance rate). This national contest awards company creation and innovative technologies. Tarides was also recognised during the FIC 2020 fair (International Cybersecurity Forum) which is the leading European event on cybersecurity. These awards acknowledge the innovation of the solutions developed by Tarides and emphasize the interest from the cybersecurity community.”

Internship at Tarides 

Tarides internships are an excellent opportunity to participate in open-source functional programming with tangible real-world applications.

Our interns each work on a personal project that will have a meaningful impact on the project and the wider OCaml open-source ecosystem. Each intern is assigned a mentor at Tarides to give advice and guidance when necessary. Below are ideas for potential internship topics. These are intended as suggestions only; if you're excited about a particular aspect of our work at Tarides, let us know and we'll do our best to accommodate you.


MirageOS is an ecosystem of libraries and tools to build specialized applications, known as unikernels. By providing a unified API, MirageOS allows a developer to build cross-platform applications in OCaml, relying on base layers to perform the hardware abstraction. Originally aimed at virtualized environments, MirageOS has proven to be runnable on bare-metal embedded devices, such as the ESP32 chip. These low-power, low-cost, highly-connected devices are good candidates for IoT development.

The goal of this internship is to leverage the MirageOS project to build small and efficient IoT applications in OCaml. As a base layer we aim to use RIOT, an IoT-specific operating system targeting most embedded devices. For testing, the goal is to run applications on the nRF52840-MDK board, an ARM-based system-on-chip with Bluetooth support. Further work includes developing IoT-specific APIs such a peripheral communications (SPI, GPIO) and investigating optimizations (reducing the OCaml runtime size, dead code elimination).


What we offer

Nice office in Paris (Place de la Contrescarpe, Paris 5)

  • Flexible working hours and possibility to work remotely
  • Supportive team environment with experienced Technical and Team Leads
  • A “ticket restaurant” card 
  • 100% of public transportation pass reimbursed


If shortlisted, you will have two online interviews starting with a general interview, followed by a technical interview. 

We welcome applications from people of all backgrounds. We strive to create a representative, inclusive and friendly team, because we know that different experiences, perspectives and backgrounds make for a better workplace.