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 rapports intelligents pour faciliter la prise de décision)

Vous souhaitez développer des compétences sur le logiciel temps-réel critique, embarqué dans nos lanceurs spatiaux ? Rejoignez-nous ! 🚀