STAGE – Ingénieur Automatisation agentique d’analyse statique de code C – F/H

Location: Toulouse

Lieu : Toulouse, 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

En rejoignant le site de Toulouse, vous intégrez un site regroupant nos solutions de cyberdéfense souveraines pour faire face aux menaces informatiques croissantes et nos activités de services numériques permettant d’opérer les systèmes d’informations critiques de nos clients et de les accompagner dans leur transformation numérique sécurisée.

Au sein du service SRE de Toulouse-Labège, vous rejoignez un Centre d’Évaluation de la Sécurité des Technologies de l’Information (CESTI), agréé par l’ANSSI et partenaire du CNES depuis plus de 25 ans. Vous contribuerez à automatiser l’analyse statique de code C réalisée avec Frama-C. L’objectif sera de concevoir un agent connecté à l’outil via un serveur MCP afin d’améliorer la couverture du code et d’accélérer le traitement des alarmes.

Vos missions

• Vous réalisez un état de l’art sur l’analyse statique, les LLM et les agents ;
• Vous détectez automatiquement les points d’entrée du code ;
• Vous générez les harnais d’analyse et les stubs nécessaires ;
• Vous concevez un serveur MCP exposant Frama-C à un agent ;
• Vous distinguez les fausses alarmes des vulnérabilités réelles ;
• Vous adaptez le code pour poursuivre l’analyse ;
• Vous évaluez l’approche sur plusieurs familles de cibles ;
• Vous documentez et présentez vos résultats.
• Votre profil
• Votre priorité est d'effectuer un stage de 6 mois ?
• Vous avez l’ambition de perfectionner vos connaissances en agents IA et LLMs ?
• Vous avez envie d'expérimenter des outils d'analyse statique notamment en Frama-C ?
• Vous préparez un diplôme d'Ingénieur ou un équivalent bac +5 et vous avez de l'expérience sur :
• du langage C en environnement embarqué,
• des classes de vulnérabilités relatives au langage C,
• les langages de programmation (Python, C/C++, etc.).
• Rigueur, curiosité, capacité d'analyse et force de proposition sont des atouts que l'on vous reconnait ?
• Alors ce poste est fait pour vous !

MOT DE L'EQUIPE

• Vous intègrerez une équipe dynamique à taille humaine au sein d’un centre d’expertise reconnu au sein du groupe et à l’international et aiderez à améliorer les processus interne avec un outil primordial pour la vie de l’équipe.
• 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 !