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

About this job

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…

This is a short summary.

Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.

Engineer salaries in France

Based on 3,033 postings that disclose pay.

Estimated from advertised pay across our sources — indicative gross annual figures, not an offer.

Most-requested skills in France

Based on 266 France vacancies that list requirements, these are the skills employers ask for most often.

• Project Management39% of postings
• AutoCAD20% of postings
• Lean18% of postings
• CATIA14% of postings
• Revit9% of postings
• MATLAB8% of postings
• SAP7% of postings
• Quality Assurance6% of postings

Similar jobs

• Ingénieur Qualité Produit - Secteur Aéronautique H/F · ALTEN
• Ingénieur Design Expérimenté F/H · ALTEN
• Ingénieur Architecte Industriel H/F · ALTEN
• Ingénieur Qualité Process - Secteur Aéronautique H/F · ALTEN
• Ingénieur en amélioration continue F/H · ALTEN
• Ingénieur(e) Commercial(e) - Industrie - Toulouse · CS Group