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

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 !

Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part. L'intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales. Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d'une centaine de disciplines, de l'optique à la physique quantique, du traitement du signal à la connectivité et à l'intelligence artificielle. Rejoindre Thales, c'est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C'est donc être au cœur d'une formidable aventure technique. Une attention portée à l'équilibre des collaborateurs au service de leur réussite. C'est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d'accorder la flexibilité nécessaire à l'équilibre entre vie professionnelle et vie personnelle. Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons. Des parcours professionnels riches. Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire. C'est aussi la possibilité d'évoluer, de changer de fonction ou d'activité, voire de pays.