Stage - Ingénierie IA & Automatisation Agentique

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

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