Stage - Vérification Formelle - F/H
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.