STAGE - Etude et conception d’une capacité d’observabilité boîte-noire pour des applications IA compilées en WASM (H/F)

Lieu : Palaiseau, France

Construisons ensemble un avenir de confiance

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4,5 milliards d’euros par an en Recherche & Développement, notamment dans des domaines clés de l’innovation tels que l’IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 85 000 collaborateurs dans 65 pays. ​

Nos engagements, vos avantages

• Notre savoir-faire technologique

• Notre attention portée à l’équilibre des collaborateurs

• Un environnement inclusif et bienveillant

• Un engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…)

Votre quotidien

Thales Research&Technology, notre centre de recherche dans les domaines matériels, et CortAIx Labs, notre centre de recherche en IA et digital ont pour mission de proposer des innovations de ruptures, de maintenir et d’accroitre l’avance technologique et d’en assurer la compétitivité pour le groupe.

Au sein de cette entité, cortAIx Labs, basé à Palaiseau, est département de recherche et développement de pointe au sein de Thales, dédié aux domaines de l'intelligence artificielle (IA), de l'apprentissage automatique (ML) et de la science des données. Ses principaux domaines d'expertise sont notamment l'intelligence artificielle et l'apprentissage automatique, avec le développement d'algorithmes sophistiqués d'IA et d'AM adaptés à des applications spécifiques de défense et de sécurité, à la sécurité des données, à la cybersécurité, à la robotique et aux systèmes autonomes. L'une des activités du laboratoire de cybersécurité de cortAIx Labs concerne la sécurité de l'IA.

Vos missions

WebAssembly (Wasm) [1] est une solution d’isolation de plus en plus utilisées dans divers contextes, comme le Web, la blockchain, ou le cloud. Dans le cas du cloud, Wasm utilise WASI (WebAssembly System Interfaces) [2] pour interagir avec les ressources mises à disposition par une machine, sans passer par un navigateur. L’un des principaux challenges concernant WebAssembly est le design d’une solution d’observabilité en boite noire qui permette de correctement identifier les différentes actions effectuées par un logiciel Wasm. En particulier, l’exécution d’un modèle d’IA en Wasm nécessite d’observer les interfaces WASI dédiées à l’interaction avec un GPU (telles que wasi-nn ou wasi-webgpu). Dans les solutions existantes, eBPF [3] est déjà largement utilisé pour de l’observabilité dans le cloud, mais son utilisation naïve pour Wasm ne permet pas de contourner l’écart sémantique introduit par la machine virtuelle Wasm. D’autres solutions, comme Open Telemetry [4,5], permettent de recueillir des données de meilleure qualité mais ne répondent pas à la contrainte boîte noire nécessaire pour exécuter des applications IA dont nous n’avons pas le code source. Enfin, des approches

intermédiaires comme Witchcraft [6] permettent de rajouter des interceptions à WASI dans le runtime afin d’observer les interfaces, mais nécessite une modification du runtime pour fonctionner. L’objectif du stage est d’étudier la possibilité de créer une solution d’observabilité boîte-noire pour

des applications IA tournant dans une sandbox Wasm, de concevoir un démonstrateur de cette solution et de l’évaluer avec une preuve de concept complète.

Nous proposons que le stage se déroule de la manière suivante :

• Etat de l’art sur les méthodes d’observabilité Wasm

• Compréhension et exploration rapide des méthodes existantes

• Comparaison de ces méthodes et identifications des limites, notamment dans le cas d’applications IA

• Conception d’une solution pour améliorer l’existant

• Implémentation d’un démonstrateur

• Intégration du démonstrateur dans une preuve de concept complète et évaluation

• Rédaction de la documentation

Les contributions techniques du stage pourront, notamment, enrichir les contributions de CortAIx Labs dans des projets internes et sur des projets Européens.

Votre profil

Vous êtes issu.e d'une formation technique/ingénieur BAC+5 en Informatique Système / Cybersécurité ?

Vous êtes curieux et rigoureux ?

Vous recherchez un stage de fin d’étude de 5 à 6 mois ?

Vous disposez d'une aisance affirmée en programmation en Rust ? Vous aimez fouiller dans le fonctionnement bas niveau des logiciels ?

L’idée de participer à un projet de recherche sur des thématiques de cybersécurité de logiciels IA vous anime ?

L’idée d’être intégré.e à une équipe composée de chercheur.se.s en cybersécurité et sécurité de l’IA vous attire ?

Alors n'hésitez plus, ce stage est fait pour vous !

Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.
Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez nous !