Job Description : Dans le cadre de sa campagne de stage, ArianeGroup recrute un ou une stagiaire. Le département JTEV développe les logiciels de vol de nos lanceurs spatiaux. Ceux-ci ont pour caractéristiques d'être embarqués, temps-réels et surtout (très) critiques. Cette criticité impose des tests exhaustifs, notamment vis à vis du comportement des algorithmes numériques mettant en oeuvre des nombres flottants. Elle est aussi à l'origine du choix du langage de Programmation ADA qui offre un certain nombre de concepts et d'outils intéressants pour s'assurer de la robustesse des ces algorithmes. Sous la responsabilité de votre maître de stage, vous participez aux missions suivantes : 1) Développer un outil permettant d'identifier les flux de données échangés dans un logiciel critique développé en ADA 2) Améliorer la couverture de tests d'intégration en utilisant la technique du fuzzing permettant d'identifier les risques d'erreur lors de l'exécution du logiciel 3) Démontrer l'intérêt de coupler ces techniques à la programmation par contrats ADA2012 pour détecter automatiquement des non-conformités au cahier des charges logicel 4) Intégrer ces outils à l'atelier logiciel et réaliser une démonstration de mise en oeuvre sur la base d'un exemple concret d'un logiciel critique embarqué, développé par ArianeGroup 5) Former les futurs utilisateurs à l'utilisation de ces outils Vous souhaitez développer des compétences sur l'informatique ou l'informatique embarquée ? Rejoignez-nous ! Qualifications : Vous souhaitez réaliser un stage au sein d’ArianeGroup et préparez un diplôme BAC 5 avec une spécialité en informatique ou système temps réel. Vous possédez des connaissances en programmation et connaissez l'ADA et le Python ? Vous êtes une personne motivée ? Cette offre est faite pour vous ! Informations complémentaires : Poste basé à : Les Mureaux Durée du stage souhaitée : 6 mois Période de démarrage souhaitée : début 2025Intern/Bachelor/Master/Diploma Thesis (Fixed Term) (Trainee)