Embedded / Cyber - Rust pour sécuriser les VEE Ports

Objectif

• Le code C des abstraction layers (ABLA) forme la frontière de sécurité du VEE. Réécrire en Rust les ABLA critiques du VEE Port NXP i.MX RT1170 pour réduire la surface d’attaque, puis mesurer le gain de sécurité et son coût.

Compétences développées

• Rust, C, Java : sécurité mémoire et frontière FFI
• Cybersécurité embarquée : fuzzing, code coverage, durcissement du C (MISRA)

Déroulement du stage

• Auditer les abstraction layers pour isoler celles contenant de la logique sensible
• Réécrire en Rust les ABLA prioritaires, avec blocs unsafe confinés et documentés à la frontière FFI
• Valider la non‑régression et comparer C vs Rust : coverage (Renode), fuzzing, empreinte mémoire, performances
• Rédiger des recommandations (ex. portage Zephyr, remplacement lwIP par smoltcp)

Infos générales

• Lieu : Nantes, France; PFE 4–6 mois; stage rémunéré

Candidature — stage #6 : envoyer un seul email à internship@microej.com avec le CV en pièce jointe. Indiquer le sujet et le numéro du stage dans l’objet. Rédiger la lettre de motivation dans le corps du mail, avec les disponibilités et la date souhaitée de début de stage. Expliquer l’intérêt pour ce sujet et, éventuellement, mentionner 1 ou 2 autres sujets. Stage à Nantes, 11 rue du Chemin rouge, bâtiment D, 44300 Nantes ; durée minimale de 4 mois. Rémunération : 1 200 € par mois, avec 750 € à l’arrivée et 750 € en fin de stage en cas d’embauche. Source : https://www.microej.com/wp-content/uploads/2026/10/Book_de_stage.pdf#page=21