STAGE Démonstrateur d’un CBTC sol nouvelle génération H/F

Date de mise à jour de l’offre

SAS Systerel :

Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement

Description de la mission

Au sein d’une équipe de R&D, vous réaliserez un démonstrateur pour un nouveau type de poste de manœuvre ferroviaire afin de valider la faisabilité de nouveaux concepts.
Durant ce stage, vous acquerrez des connaissances ferroviaires très recherchées dans l’industrie tout en développant vos compétences informatiques.

Dans un premier temps, vous développerez un noyau fonctionnel sécuritaire à l’aide d’un langage synchrone formel (HLL) puis vous ferez la preuve de sécurité de ce noyau sécuritaire.

Dans un second temps vous réaliserez une interface de ce noyau sécuritaire à un poste de manœuvre existant, afin de se donner des moyens de validation fonctionnelle.

Profil recherché

De formation supérieure en informatique, vous êtes d’un naturel curieux et vous avez des affinités pour le développement logiciel, la logique, Vous êtes à l’aise sur les environnements Linux/Unix et vous avez de l’intérêt pour les méthodes formelles.

La connaissance d’une méthode formelle basée sur les mathématiques et la preuve (B, Coq, etc.) est un plus.

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.

Niveau de qualification requis

Bac + 4/5 et +
  • Employeur
    SAS Systerel
  • Secteur d’activité de la structure
    Emploi - Economie - Innovation - Numérique
  • Effectif de la structure
    De 51 à 250 salariés
  • Site internet de la structure
    https://www.systerel.fr
  • Type de stage ou contrat
    Stage pour lycéens et étudiants en formation initiale
  • Date prévisionnelle de démarrage
  • Durée du stage ou contrat
    Plus de 4 mois et jusqu'à 6 mois
  • Le stage est-il rémunéré ?
    Oui
  • Niveau de qualification requis

    Bac + 4/5 et +
  • Lieu du stage
    3 Rue Danton
    92240 MALAKOFF
  • Accès et transports
    Métro Malakoff Plateau de Vanves