MGEL eMevia
Signataire de la charte de la diversité

www.mgel.fr

Se connecter Adhérez en ligne

Retrouvez-nous sur

Facebook Twitter

Consulter les offres

Identifiez vous pour mettre cette annonce en favoris

Stagiaire Mise en oeuvre Ada SPARK H/F

Spécialiste des métiers du logiciel critique et de la sûreté de fonctionnement recherche Stagiaire Mise en oeuvre Ada SPARK H/F

EV93716

Convention de stage

Systerel imagine, conçoit et met en oeuvre depuis plus de 15 ans des solutions innovantes dans le domaine des systèmes critiques temps réel ou de sécurité. Systerel est spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement. Systerel intervient tout au long du cycle de développement des équipements en prenant en charge tout ou partie : · des études amont (études de faisabilité, analyses préliminaires de sécurité, modélisation système, définition d’architectures, guides méthodologiques…), · des activités de développement du matériel, de la spécification à la fabrication, · des activités de développement des logiciels, de la spécification à l’intégration sur cible, · des activités de vérification et validation, · de l’élaboration du dossier de sécurité jusqu’à son approbation par l’autorité de certification, · de l’évaluation de systèmes dans une optique de certification ou d’homologation. Historiquement présente dans le domaine ferroviaire, Systerel a progressivement diversifié ses domaines d’intervention et participe aujourd’hui à de grands projets dans les secteurs : ferroviaire, aéronautique et défense, énergie, systèmes d’information. Votre mission : Le langage SPARK 2014 permet de vérifier statiquement du code Ada 2012. Dans le cadre de développement de logiciels nécessitant un haut niveau de sûreté de fonctionnement, cette possibilité doit permettre de réduire les coûts de tests et d’améliorer le niveau de confiance dans le logiciel. Au sein de l’équipe systèmes temps réel, vous serez en charge de mettre en oeuvre SPARK 2014 sur un logiciel existant afin d’expérimenter cet outil dans un contexte industriel. Vous devrez produire une analyse critique de l’utilisation de SPARK 2014 accompagnée des préconisations d’usage. Cette expérience vous permettra de travailler sur des outils utilisés dans un contexte industriel opérationnel et de monter en compétences en Ada 2012 et dans les techniques de vérification formelle.

De formation supérieure en informatique, vous avez des affinités pour le développement de logiciels critiques. Vous êtes d’un naturel curieux et les domaines ferroviaire et aéronautique vous intéressent. Créativité, ouverture d’esprit et rigueur sont les qualités appréciées pour ce stage. C’est un premier pas dans l’entreprise et une étape vers une embauche éventuelle.

ASAP - Stage conventionné d’une durée de 4 à 6 mois
Paris
75
A définir

Coordonnées du contact :

Pass YAYPour obtenir les coordonnées du contact, vous devez :


Formations Emploi

Rendez-vous sur notre Agenda Emploi pour en savoir plus.

MGEL.fr Mentions légales Glossaire Plan du site RSS Contact Documents contractuels Espace Presse

Cyberplus Paiement  Cyberplus Paiement

MGEL Sécurité sociale étudiante
MGEL Mutuelle complémentaire santé étudiante soumise aux dispositions du livre II du code de la mutualité.
Inscrite au Registre National des Mutuelles sous le n° 783 332 448.