Sécurité post-quantique, déploiement continu de logiciel sur microcontrôleurs et rust embarqué open source

Contexte et atouts du poste

Dans le cadre d'une collaboration entre Inria et Orange, des prototypes de CI/CD sur microcontrôleurs hétérogènes, et intégrant des niveaux de sécurité post-quantiques seront conçu et étudiés, 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, voir Ce prototype sera co-développé et testé conjointement avec Orange. Ce projet fait suite au projet TinyPART (voir

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, la cryptographie post-quantique et des réseaux sans fil low-power (BLE, Thread, LTE-M, NB-IoT etc.) 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 libraire cryptographiques post-quantique 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 Pilotage/Management : La personne recrutée sera le point de contact, en pratique, entre Inria, Orange et les mainteneurs d'Ariel OS. Dépendant du profil, la personne sera éventuellement amené à superviser d'autres ingénieurs travaillant au développement d'Ariel OS à Inria. Translation results available

Principales activités

Exemples d'activités:

1. implémentation, documentation et CI de modules logiciel Rust embarqué
2. intégration dans l'OS embarqué de crates Rust existantes et/ou de bibliothèques C appropriées
3. développement et test de prototypes matériels
4. interaction avec des experts en protocoles de réseau sans-fils IoT sécurisés à faible consommation énergétiques
5. portage et évaluation de librairies cryptographique, en interaction avec les spécialistes du domaine post-quantique
6. mise en œuvre 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 of cryptography and post-quantum aspects thereof

Non-Technical / Soft skills:


- distributed team work
- good english skills (written, spoken, read)
- consensus building

Avantages

7. Restauration subventionnée
8. Transports publics remboursés partiellement
9. 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)
10. Possibilité de télétravail et aménagement du temps de travail
11. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
12. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
13. Accès à la formation professionnelle
14. Sécurité sociale

Rémunération

Selon expérience professionnelle.