STAGE - Ingénieur Automatisation agentique d' H/F (Stage)

Thales SA; Toulouse; On-site; EUR 8,900 - 13,000; Full time

Benefits offered by this job

Gratification selon le niveau d'études

Job summary

Thales recrute un stagiaire pour rejoindre le site de Toulouse et contribuer à l’amélioration des analyses de sécurité des systèmes d’information. Le poste implique de travailler sur l’analyse statique du code en C/C++, en environnement embarqué, avec Frama-C et des outils IA/LLMs dans un cadre de cybersécurité.

Vous participerez à la conception d’un agent et d’un serveur MCP, et à l’évaluation de l’efficacité des solutions sur plusieurs familles de cibles, tout en documentant clairement vos

Qualifications

• Stage de 6 mois dans l'informatique ou cybersécurité.
• Maîtrise du langage C et C/C++ en environnement embarqué.
• Connaissance de Frama-C et analyse statique.
• Connaissance en Python.

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.
• Distinguer fausses alarmes et vulnérabilités réelles.
• Adapter le code pour poursuivre l'analyse.
• Évaluer l'approche sur plusieurs familles de cibles.
• Documenter et présenter les résultats.

Skills

C embarqué

Python

C/C++

Analyse statique

Education

Étudiant en informatique

Tools

Frama-C

Job description

Depuis plus de vingt ans, Thales déploie de façon proactive une politique affirmée en matière de responsabilité d’entreprise fondée sur les standards internationaux les plus élevés. Celle ci est en parfait accord avec la raison d’être que l’entreprise a adoptée en 2020, Construisons ensemble un avenir de confiance.

À travers cette démarche, le Groupe répond aux demandes de ses clients, de ses collaborateurs, des investisseurs et des marchés financiers pour une entreprise toujours plus performante, innovante et consciente de ses responsabilités. Il s’inscrit également dans les évolutions actuelles structurantes de la société pour une relation plus transparente et de confiance entre les entreprises et l’ensemble de leurs parties prenantes. 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 ?

• 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.

Le profil recherché compétences et expériences requises est détaillé dans le descriptif ci-dessous