Stage: Automatisation IA pour Analyse Statique C

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

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.