DGA/Maitrise de l'information/ Stage / (IA)² : Interprétation Abstraite par Intelligence Artificielle

L’interprétation abstraite est une technique d’analyse de code qui permet, par la résolution d’un système d’équation, de garantir l’absence de certains bugs dans un programme.

Ce stage cherche à profiter des avancées de l’intelligence artificielle en matière d’analyse de code pour obtenir de meilleures solutions à ces systèmes d’équations, tout en conservant la possibilité de vérifier leur validité.

Le stagiaire devra développer un analyseur abstrait pour un langage impératif simplifié et mettre en place les mécanismes nécessaires à l’interaction entre un LLM et cet analyseur.

Profil recherché

• Etudiant en M2
• Avoir reçu un cours de méthodes formelles ou d’analyse de programme

L’employeur

DGA Maîtrise de l’information Bruz (près de Rennes) est responsable de la conception, de l’acquisition et de l’évaluation des systèmes qui équipent les forces Armées. Nos experts techniques travaillent dans les domaines innovants tels que les systèmes d’information et de communication, la cybersécurité, l’Intelligence Artificielle, la survivabilité des systèmes, la navigation, la guerre électronique et les systèmes de missiles.