STAGE - Amélioration des tests d'intégration logiciel par le fuzzing et la programmation par contrats

Le 19 novembre

Critères de l'offre

  • Les Mureaux (78)
  • CDI , Stage
  • Temps Plein
  • Secteur : Industries Aéronautique, Spatial, Naval
  • Domaines d'expertise : Spatial , Systémique , Programmation , Programmers , Matériaux Voir plus , Python , Materials Voir moins
  • Niveau d'études : Bac. Général

L'entreprise : ArianeGroup

Un leader mondial de l'accès à l'espace, au service de ses clients institutionnels et commerciaux et de l'indépendance stratégique de l'Europe.

Nous concevons des solutions innovantes et compétitives en matière de systèmes de lancement et d'applications spatiales civiles et militaires pour nos clients institutionnels, commerciaux et industriels. Pour cela, nous maîtrisons les technologies les plus avancées, de l'ensemble du système à la propulsion, aux équipements et aux matériaux. Cette expertise, et ce savoir-faire unique de nos équipes, nous en faisons bénéficier les marchés de l'espace, de la défense, de l'énergie et d'autres secteurs industriels, à travers des produits, des équipements et des services à haute valeur ajoutée.

Voir plus de contenus

Description du poste

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 2025Stagiaire (durée déterminée) (stagiaire)

ArianeGroup est convaincu que la diversité renforce l'innovation et la collaboration.
Nous accueillons toutes les candidatures et sommes engagés dans le développement d'un environnement de travail inclusif.
Nos critères de sélection sont basés sur les compétences et expériences professionnelles exclusivement.

Salaire et avantages

Salaire : Salaire selon profil


Référence : JR-2024690

Créez votre profil pour postuler à cette offre