INRIA
Postée il y a 20 jours
A propos d'Inria
Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.
Micro-Machine Virtuelle, Sécurité des Mises à Jours Logicielles et Rust embarqué Open Source
Télécharger l'offre au format PDF
Contrat renouvelable :
Oui
Niveau de diplôme exigé :
Bac +5 ou équivalent
Fonction :
Ingénieur scientifique contractuel
A propos du centre ou de la direction fonctionnelle
Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s'inscrit dans le développement du plateau de Saclay, en partenariat étroit d'une part avec le pôle de l'Université Paris-Saclay et d'autre part avec le pôle de l'Institut Polytechnique de Paris. Afin de construire une politique de site ambitieuse, le centre Inria de Saclay a signé en 2021 des accords stratégiques avec ces deux partenaires territoriaux privilégiés.
Le centre compte 39 équipes-projets, dont 27 sont communes avec l'Université Paris-Saclay ou l'Institut Polytechnique de Paris. Son action mobilise plus de 600 personnes, scientifiques et personnels d'appui à la recherche et à l'innovation, issues de 54 nationalités.
Le centre Inria Saclay - Île-de-France est un acteur essentiel de la recherche en sciences du numérique sur le plateau de Saclay. Il porte les valeurs et les projets qui font l'originalité d'Inria dans le paysage de la recherche : l'excellence scientifique, le transfert technologique, les partenariats pluridisciplinaires avec des établissements aux compétences complémentaires aux nôtres, afin de maximiser l'impact scientifique, économique et sociétal d'Inria.
Contexte et atouts du poste
Dans le cadre d'une collaboration entre Inria et Orange, un prototype de micro-machine virtuelle déployable sur microcontrôleur et modifieable de manière sécurisée par le réseau sera conçu, combinant du matériel à base de microcontrôleur similaire à Nordic nRF52, STM32, ESP32 ou RISC-V, via des liens réseaux tels BLE, 802.15.4 ou LTE-M, programmé avec un système d'exploitation open source codé en embedded Rust (Ariel OS). Ce prototype sera co-développé et testé conjointement avec Orange. Ce projet fait suite au projet TinyPART (voir https://tinypart.github.io/TinyPART/).
Mission confiée
Collaboration :
La personne recrutée sera en lien avec la communauté et les développeurs open source d'Ariel OS, les collaborateurs d'Orange et les chercheurs d'Inria dans le domaine de l'IoT sécurisé à faible consommation énergétique et des réseaux sans fil low-power (BLE, Thread, LTE-M, NB-IoT etc.) et des micro-VMs, ainsi que des ingénieurs avec lesquels nous collaborons au Campus Cyber.
Responsabilités :
La personne recrutée sera responsable du développement du système d'exploitation embarqué de base, du développement de la pile réseau sécurisée à faible consommation, du portage de machines virtuelles telles WASM et rBPF et du développement des mecahnismes de mise à jour logicielles, ainsi que des tests sur matériel IoT. Pour des informations préliminaires : consultez Ariel OS sur https://github.com/ariel-os/ariel-os
Pilotage/Management :
La personne recrutée sera le point de contact, en pratique, entre Inria, Orange et les mainteneurs d'Ariel OS.
Translation results available
Principales activités
Exemples d'activités :
- Implémentation, documentation et CI de modules logiciel Rust embarqué
- Intégration dans l'OS embarqué de crates Rust existantes et/ou de bibliothèques C appropriées
- Développement et test de prototypes matériels
- Interaction avec des experts en protocoles de réseau sans-fils IoT sécurisés et VM à faible consommation énergétiques
- Mise en oeuvre et participation active dans les communautés open source
Compétences
Technical Skills :
- Embedded Rust/C
- Git
- Open-source software workflows
- RTOS or bare-metal experience on 32-bit microcontrollers such as ARM Cortex-M, RISC-V, ESP32
- Knowledge of network protocols stack (BLE, NB-IoT, TCP/IP, 6LoWPAN)
- Knowledge WASM and eBPF is a plus
Non-Technical / Soft skills :
- Distributed team work
- Good english skills (written, spoken, read)
- Consensus building
Avantages
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés : 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des oeuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
Rémunération
Selon expérience professionnelle