Stage - Développement d'un outil de vérification formelle F/H à Rennes

À propos ATOS

Bienvenue chez Atos, où nous imaginons le futur de la tech.   

Leader international du numérique sécurisé et décarboné, Atos contribue à façonner les nouvelles technologies avec ses clients.  

Dans un environnement multiculturel, collaboratif et agile, nous offrons des parcours de carrière valorisants basés sur des programmes de formation, de certification et de mobilité.  

C’est pourquoi chez Atos, la diversité des compétences et des expériences de nos équipes nous permet, ensemble, de faire les bons choix avec nos clients, pour l’avenir de notre entreprise et de la société. 

Contexte 

Le stage est proposé au sein de l’entité transport du centre System Intégration de Rennes. L’application de gestion des aiguillages est le système générique de commande et de contrôle des postes d’aiguillage de l’opérateur de transport ferroviaire. Il est développé par Atos au sein de différentes équipes.

Mission

Le but du stage est de créer un nouvel outil, bénéficiant du retour d’expérience d’un autre projet similaire et s’adaptant parfaitement aux besoins d’Atos pour le projet.

L’objectif de cet outil de vérification formelle est de vérifier le paramétrage par rapport aux données d’études.

• Créer une Interface en Java pour appel moteur
• Créer une architecture et une base de données pour import folios et fichiers de paramétrages
• Création d’une IHM pour l’import des folios et des fichiers de paramétrages
• Implémentation et transformation des règles, ic, accesseurs en machines
• Lancement d’une vérification
• Exploitation des résultats du moteur
• Génération d’un rapport excel pour les résultats du test.

Environnement : Vérification formelle, Langage B, Java, API Connaissances souhaitées sur la théorie des ensembles.

Objectifs pédagogiques

Ce stage permet d’évoluer au sein d’une équipe de développement dynamique dans le domaine ferroviaire et au plus près du besoin. Vous pourrez donc travailler de manière très concrète et interactive lors des différentes phases du projet : qualification du besoin, recherche de la solution, réalisation et validation de la solution.

Profil

De formation Bac+5 en informatique (Ecole d’ingénieur ou université) en cours de validation, vous recherchez un stage d’une durée de 4-6 mois (dates variables selon l’école).

Une proposition d’embauche en fin de stage est envisageable, sur le site de votre stage, ou, si vous le désirez, dans toute autre région dans laquelle Atos recrute.

Chez Atos, la diversité, l'inclusion et l’accessibilité numérique font partie intégrante de notre ADN. Découvrez nos engagements en faveur d'un environnement de travail équitable pour toutes et tous.  

Atos est un leader reconnu dans son secteur pour les critères environnementaux, sociaux et de gouvernance (ESG). Pour en savoir plus sur notre engagement en matière de RSE, cliquez ici. 

#LI-DNI
Choose your future. Choose Atos.