Stage: Analyseur de Flux pour Logiciels Embarqués

MBDA; Bourges; Sur place; EUR 12 000 - 17 000; Plein temps

Résumé du poste

MBDA rejoint la Direction Software Engineering et intègre le département Embedded pour concevoir des logiciels embarqués destinés à nos missiles. Le stage se focalise sur l’analyse de flux de données et l’exploitation d’analyses formelles pour générer des graphes producteurs/consommateurs.

En qualité d’ingénieur en fin de cycle, vous appliquerez vos notions de C et Python, avec une sensibilité à l’interface graphique et un niveau d’anglais opérationnel.

Qualifications

• Dernière année d’ingénieur en informatique ou logiciel (cycle ingénieur).
• Premières connaissances en C et Python.
• Bon niveau d’anglais requis.

Responsabilités

• Consolider le besoin d’analyse des couplages de flux entre composants.
• Développer un outil capable d’exploiter une analyse formelle du code source pour générer des graphes producteurs/consommateurs.
• Vérifier la compatibilité des flux et la cohérence des opérations de lecture/écriture.
• Assurer un reporting régulier sur coût, délai et qualité des travaux.

Connaissances

C

Python

Formation

Ingénieur en informatique

Description du poste

MBDA rejoint la Direction Software Engineering et intègre le département Embedded pour concevoir des logiciels embarqués destinés à nos missiles. Le stage se focalise sur l’analyse de flux de données et l’exploitation d’analyses formelles pour générer des graphes producteurs/consommateurs.

En qualité d’ingénieur en fin de cycle, vous appliquerez vos notions de C et Python, avec une sensibilité à l’interface graphique et un niveau d’anglais opérationnel.