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 Génération automatique de lemmes pour solveur SAT H/F

Spécialiste des métiers du logiciel critique et de la sûreté de fonctionnement recherche Stagiaire Génération automatique de lemmes pour solveur SAT H/F

EV93715

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 : Systerel développe et maintient un outil de vérification formelle "Systerel Smart Solver", dont le coeur de preuve est basé sur une technologie SAT. Afin d'améliorer les capacités de l'outil, Systerel souhaite se donner la capacité d'alimenter le coeur de preuve avec des lemmes générés par un autre outil. Au sein d'une équipe de R&D, vous aurez en charge la spécification, la conception et la réalisation d'un outil de génération de lemmes implantant des algorithmes détaillés dans des publications scientifiques. Cette expérience vous permettra de mettre en pratique le développement d'outils de preuve formelle dans un contexte industriel et au sein d'une équipe expérimentée.

De formation supérieure en informatique, vous avez des affinités pour le développement logiciel et les méthodes formelles. Vous êtes curieux et êtes à l'aise avec la logique propositionnelle. 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
Aix en Provence
13
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.