Stage - Vérification Formelle - F/H

il y a 2 semaines

Rennes, Bretagne, France Atos Temps plein
Politique de confidentialité
Stage - Vérification Formelle - F/H

Date de publication: 28 oct. 2025

Réf. Non: 536980

Emplacement:
Rennes, FR

Chez Atos, nous contribuons à façonner un avenir numérique enrichi par l'intelligence artificielle. Notre mission : réunir les meilleurs talents, technologies et partenaires, pour faire progresser la transformation digitale au quotidien.

Des environnements critiques aux services cloud et de cybersécurité, nous guidons nos clients pour les amener là où ils ont besoin d'aller.

Nos technologies sont fluides, sécurisées et conçues pour être responsables. Avec l'innovation intégrée dans tout ce que nous faisons, nous réinventons l'avenir pour nos clients, nos collaborateurs et la société dans son ensemble.

Contexte :

Le stage est proposé au sein de l'entité Transport du centre System Integration de Rennes. L'application concernée est un système générique de commande et de contrôle de postes d'aiguillage ferroviaire, développé par Atos au sein de différentes équipes.

Missions :

Le but du stage est d'intégrer une équipe travaillant sur un outil de vérification formelle permettant de vérifier le paramétrage (fichiers produits par une des applications) par rapport aux données d'études (données en entrée de cette application).

Analyse de l'existant :

  • Prise de connaissance de l'environnement projet ;

  • Montée en compétences sur la méthodologie ;

  • Analyse des retours d'expérience (REX) ;

  • Analyse de la Méthode B ;

Environnement : Vérification formelle, Langage B.

Profil recherché :

  • Étudiant(e) en dernière année d'école d'ingénieurs ou de master informatique ;

  • Intérêt pour les systèmes critiques et le secteur ferroviaire ;

  • Bonnes notions de logique mathématique et de théorie des ensembles ;

  • Appétence pour la vérification formelle et la Méthode B ;

  • Compétences en programmation et en ingénierie logicielle ;

  • Capacité d'analyse et compréhension de projets informatiques complexes ;

  • Esprit d'équipe et bonne communication ;

  • Rigueur, curiosité et goût pour l'apprentissage ;

  • Intérêt pour la modélisation et la qualité logicielle.

Objectifs pédagogiques

Ce stage permet d'acquérir l'expérience d'un cycle complet de projet informatique, de l'étude et du choix des outils à mettre en œuvre, jusqu'à la réalisation de l'application. Il offre au stagiaire la possibilité de s'intégrer dans l'équipe projet et de découvrir le fonctionnement global d'un projet.

LI-France

En savoir plus

La diversité est un moteur au service de la créativité de nos clients, et nous nous efforçons chaque jour de créer un environnement où chacun se sent soutenu et encouragé.

La « Tech for Good » s'inscrit au cœur de notre mission, que ce soit en matière de lutte contre le changement climatique, pour promouvoir l'inclusion numérique ou garantir la confiance dans la gestion des données.

Nous sommes fiers des nombreuses reconnaissances mondiales pour nos pratiques environnementales, sociales et de gouvernance, et nous nous engageons à construire un avenir meilleur pour tous en exploitant le pouvoir de la technologie.

  • Stage Conseil en patrimoine – f/h

    il y a 3 jours

    Rennes, Bretagne, France CERFRANCE Temps plein

    Stage Conseil en patrimoine – f/hRéférence de l'offre : REF497TDescriptif du posteNous savons que les étudiants d'aujourd'hui sont nos talents de demain et dans cette dynamique, nous recherchons pour un stage de 3 à 6 mois, un(e) stagiaire pour notre équipe Conseil en Patrimoine située dans notre agence de Vannes (rue Yves Guillou) et un(e) stagiaire...

  • STAGE PFE

    il y a 6 jours

    Rennes, Bretagne, France VINCI Energies Temps plein

    Connexion, performance, efficience énergétique, datas : dans un monde en évolution permanente, VINCI Energies accélère le déploiement des nouvelles technologies pour concrétiser deux mutations majeures : la transformation digitale et la transition énergétique. Ancrées dans les territoires et organisées en mode agile, les entreprises de VINCI...

  • Stage Archiviste F/H

    il y a 2 semaines

    Rennes, Bretagne, France Archipel habitat Temps plein

    L'entrepriseARCHIPEL HABITAT, Office Public de l'Habitat de Rennes Métropole, loge aujourd'hui plus personnes et construit 350 logements chaque année.Acteur référent dans la mise en œuvre des politiques locales de l'habitat, nous gérons un patrimoine de logements.Ce patrimoine se compose de logements familiaux, de foyers et résidences spécialisées...

  • Stage Archiviste F/H

    il y a 3 jours

    Rennes, Bretagne, France Archipel Habitat Temps plein

    L'entreprise ARCHIPEL HABITAT, Office Public de l'Habitat de Rennes Métropole, loge aujourd'hui plus personnes et construit 350 logements chaque année.Acteur référent dans la mise en œuvre des politiques locales de l'habitat, nous gérons un patrimoine de logements.Ce patrimoine se compose de logements familiaux, de foyers et résidences...

  • Stage de Fin d'Études Ingénieur Efficacité Energétique F/H

    il y a 3 jours

    Rennes, Bretagne, France VINCI Energies Temps plein

    Rejoignez UBBAK, le réseau de VINCI Energies dédié aux technologies du froid, du chaud et du traitement d'air pour les applications process, et contribuez au développement de solutions industrielles performantes et durables. Nous recherchons un(e) stagiaire de fin d'études Ingénieur Efficacité énergétique F/H motivé(e) et passionné(e) par les...

  • Stage en droit Fiscal H/F

    il y a 2 semaines

    Rennes, Bretagne, France Fidal Temps plein

    Informations générales Référence Intitulé du posteStage en droit Fiscal H/F Type de contratStage Description du poste Fidal, premier cabinet d'avocats d'affaires en France, accompagne les entreprises et leurs dirigeants grâce à une expertise juridique reconnue et un maillage territorial dense.Vos missions :Intégré(e) à l'équipe droit fiscal...

  • Stage en droit Fiscal H/F

    il y a 3 jours

    Rennes, Bretagne, France Fidal Temps plein

    Informations générales Réfrence Intitulé du posteStage en droit Fiscal H/F Type de contratStage Description du poste Fidal, premier cabinet d'avocats d'affaires en France, accompagne les entreprises et leurs dirigeants grâce à une expertise juridique reconnue et un maillage territorial dense.Vos missions :Intégré(e) à l'équipe droit fiscal du...

  • Stage RH – Recrutement

    il y a 3 jours

    Rennes, Bretagne, France ARCHIPEL HABITAT Temps plein

    L'entrepriseVous cherchez un stage RH qui a du sens ?ARCHIPEL HABITAT, est l'Office Public de l'Habitat de Rennes. Nous rejoindre, c'est contribuer concrètement aux politiques locales de l'habitat social tout en évoluant dans une entreprise à taille humaine, engagée et innovante.Description du posteActeur référent pour la mise en œuvre des politiques...

  • Stage RH – Recrutement

    il y a 3 jours

    Rennes, Bretagne, France Archipel habitat Temps plein

    L'entrepriseVous cherchez un stage RH qui a du sens ?ARCHIPEL HABITAT, est l'Office Public de l'Habitat de Rennes. Nous rejoindre, c'est contribuer concrètement aux politiques locales de l'habitat social tout en évoluant dans une entreprise à taille humaine, engagée et innovante.Description Du PosteActeur référent pour la mise en œuvre des politiques...

  • Stage RH – Recrutement

    il y a 3 jours

    Rennes, Bretagne, France Archipel Habitat Temps plein

    L'entreprise Vous cherchez un stage RH qui a du sens ?ARCHIPEL HABITAT, est l'Office Public de l'Habitat de Rennes. Nous rejoindre, c'est contribuer concrètement aux politiques locales de l'habitat social tout en évoluant dans une entreprise à taille humaine, engagée et innovante. Description du posteActeur référent pour la mise en œuvre des...