ArianeGroup SAS
48.998953,1.9228941
Description de l'offre :
Dans le cadre de sa campagne de stage, ArianeGroup recrute un stagiaire en développement logiciel (H/F), de niveau Bac +5, au sein du département en charge des logiciels de vol de nos lanceurs.
Sous la responsabilité de votre maître de stage, vous participez aux missions suivantes :
- S'approprier et mettre en oeuvre un outil python d'analyse de code ADA basé sur l'analyseur syntaxique LibADALang développé par la société ADACore
- Exploiter cet outil pour automatiser la vérification de règles de codage ADA 2012 définies sur les logiciels critiques embarqués sur les lanceurs spatiaux
- Générer automatiquement un rapport permettant d'identifier précisément les écarts à ces règles
- Intégrer la mise en oeuvre du contrôle de ces règles de façon ergonomique dans l'atelier de développement ADA basé sur l'outil GNATStudio
- Evaluer l'opportunité d'exploiter les capacités de l'IA pour améliorer la qualité du code des logiciels embarqués (génération de...