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

Thales Avionics, Inc. (AGS); Toulouse; On-site; EUR 13,000 - 20,000; Full time

Benefits offered by this job

Stage conventionné

Gratification selon niveau d'études

Job summary

Thales Avionics, Inc. (AGS) recherche un stagiaire ingénieur pour un projet axé sur l'analyse statique de code et l'intégration d'agents IA/LLMs au sein du CE­STI de Toulouse. Le stage portera sur Frama-C et l automatisation des analyses dans un contexte industriel.

Le poste est basé à Toulouse, en équipe d'experts et en collaboration avec des partenaires institutionnels, avec une gratification selon le niveau d'études et les conventions de stage.

Qualifications

• Être étudiant ingénieur bac+5 ou équivalent avec stage de fin d'études.
• Expérience en langage C en environnement embarqué.
• Connaissances Python et C/C++.
• Rigueur, curiosité et sens de l'analyse.

Responsibilities

• Réaliser un état de l'art sur l'analyse statique, les LLM et les agents.
• Détecter automatiquement les points d'entrée du code.
• Générer les harnais d'analyse et les stubs nécessaires.
• Concevoir un serveur MCP exposant Frama-C à un agent.
• Évaluer l'approche sur plusieurs familles de cibles.
• Documenter et présenter les résultats.

Skills

C language

Python

C/C++

IA/LLM concepts

Education

Ingénieur Bac+5

Tools

Frama-C

MCP server

Job description

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 profi l

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 !