• Société
  • Carrières
  • Actualités
  • Blog
  • Contacts
  • Français
    • English

Systerel

  • Solutions
    • Conseil & expertise
    • Développement de logiciels critiques
    • Evaluation & audit
    • Vérification & validation
    • Sûreté de fonctionnement
  • Expertises
    • Méthodes formelles
      • Utilisation des méthodes formelles
      • Méthode B
      • SCADE
      • Systerel Smart Solver
      • Langage HLL
      • Plate-forme RODIN
      • Outils de Vérification & Validation
    • Logiciels embarqués, temps réel & critiques
    • OPC UA et cybersécurité industrielle
    • Technologies Ada
    • Normes & Processus
  • Innovation
    • L’innovation chez Systerel
    • Produits
      • Safe & Secure OPC
      • OVADO 2
      • Systerel Smart Solver
      • Systerel IXL Builder
    • Travaux de R&D
    • Démarches collaboratives
  • Formations
    • OPC UA
    • Systerel Smart Solver
    • Langage C pour systèmes contraints
    • Ada 95 et 2005 – Les bases
    • Ada 95 et 2005 – Avancé
    • Ada 2012 – Les clés
    • Méthode B
    • Norme EN 50128:2011
    • Sûreté de Fonctionnement
  • Secteurs d’activité
    • Ferroviaire
    • Aéronautique & Spatial
    • Défense
    • Énergie
Accueil Carrières Offres de stage

Offres de stage

Stage : Sûreté de fonctionnement (FMDS) sur des systèmes de contrôle-commande critiques ferroviaires H/F (STAGE_SSE_ERTMS)

L’objectif de votre stage sera d’apporter un support aux activités de Sûreté de fonctionnement réalisées au sein du département pour le compte de maîtres d’œuvre et/ou d’ouvrage ou d’industriels de systèmes de contrôle-commande ferroviaire critiques (ERTMS/ETCS/Signalisation).

Stage : Évaluation de systèmes de contrôle-commande critiques ferroviaires H/F (STAGE_SSE_Validator)

L’objectif de votre stage sera, pour des projets de déploiements de systèmes de contrôle-commande ferroviaire critiques (CBTC), de participer au rôle de chargé de validation système (au sens de la norme EN 50126:2017 tableau G.3).

Stage : Second regard en sûreté de fonctionnement (FMDS) sur des systèmes de contrôle-commande critiques ferroviaires H/F (STAGE_SSE_SDF)

L’objectif de votre stage sera d’apporter un support aux activités de second regard (évaluation) réalisées au sein du département pour le compte de maîtres d’œuvre et/ou d’ouvrages de systèmes de contrôle-commande ferroviaire critiques (CBTC / ATS).

Stage : Pilotage de preuve formelle distribuée H/F (STAGE_PDT_S3)

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à contribuer à l’amélioration de notre solution de preuve distribuée.

Stage Optimisation d’une architecture numérique critique pour la sûreté de fonctionnement H/F (STAGE_PDT_BAHIA)

Dans le cadre de ses innovations, Systerel étudie et développe une architecture matérielle innovante d’exécution de fonctions critiques pour la sûreté de fonctionnement. Intégré(e) au Département Produits, vous aurez l’occasion de travailler sur cette architecture.

Stage : Back-to-Back Testing en boîte noire – Aix-en_Provence (STAGE_PDT_B2B_A)

Dans le cadre du développement de nos solutions de test formel, le stage vise à contribuer à l’amélioration de notre solution de back-to-back (B2B) testing.

Stage : Back-to-Back Testing en boîte noire – Paris (STAGE_PDT_B2B_P)

Dans le cadre du développement de nos solutions de test formel, le stage vise à contribuer à l’amélioration de notre solution de back-to-back (B2B) testing.

Stage : Mise en œuvre d’un solveur SMT H/F – Aix-en-Provence (STAGE_PDT_Solveur_A)

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.

Stage : Mise en œuvre d’un solveur SMT H/F – Paris (STAGE_PDT_Solveur_P)

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.

Solutions

  • Conseil & expertise
  • Développement de logiciels critiques
  • Vérification & validation
  • Evaluation & audit
  • Sûreté de fonctionnement
  • Formations

Expertises

  • Méthodes formelles
  • Logiciels embarqués, temps réel & critiques
  • OPC UA et cybersécurité industrielle
  • Technologies Ada
  • Normes & Processus

Innovation

  • L’innovation chez Systerel
  • Produits
  • Travaux de R&D
  • Démarches collaboratives

Secteurs d’activité

  • Ferroviaire
  • Aéronautique & Spatial
  • Défense
  • Énergie

Copyright © 2022 Systerel™ - Tous droits réservés

  • Plan du site
  • Mentions légales & Crédits
  • LinkedIn