Embedded Rust Development for Secure Low-Power Open Source Distributed System Software

Renewable contract : Yes

Level of qualifications required : Graduate degree or equivalent

Other valued qualifications : MSc

Fonction : Temporary scientific engineer

About the research centre or Inria department

The Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay site in partnership with Paris-Saclay University and with the Institut Polytechnique de Paris .

The centre has 39 project teams , 27 of which operate jointly with Paris-Saclay University and the Institut Polytechnique de Paris; Its activities occupy over 600 people, scientists and research and innovation support staff, including 44 different nationalities.

Context

In the context of the RIOT operating system and the RIOT-rs project, this position will focus on designing and leading the development of buidling blocks for a major open source embedded software platform for heterogeneous low-power 32-bit MCUs (Arm Cortex-M, RISC-V, ESP32...) connected with various low-power wireless techniques (BLE, 802.15.4, LoRa...) and low-power IPv6 secure protocol stacks.

Assignment

Collaboration :
The recruited person will be in connection with the RIOT open source community, RIOT-rs developers, as well as Inria researchers in the domain of secure low-power IoT and formal verification.

Responsibilities :
Depending on the profile, the recruited person will either be responsible for core embedded OS development, or for secure low-power network stack development.

Steering/Management :
The person recruited will be in charge of steering the developer community snowballing around the open source code base.

Main activities

Main activities:
- propose architectures of Rust rewrites for RIOT building blocks
- implementation, documentation and CI of embedded Rust modules
- interact with formal verification experts
- interact with secure low-power IoT network protocols experts
- upstreaming and steering of open source communities

Skills

Technical Skills
  - embedded C/Rust
  - git
  - make
  - open source software workflows
  - RTOS or bare-metal experience on 32-bit microcontrollers such as ARM Cortex-M, RISC-V, ESP32

Non-Technical / Soft skills
  - distributed team work
  - good english skills (written, spoken, read)
  - consensus building

Benefits package

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage

Remuneration

According to experience