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

À propos d’Atos

Atos est un leader international de la transformation digitale avec 105 000 collaborateurs et un chiffre d’affaires annuel de 11 milliards d’euros. Numéro un européen du cloud, de la cybersécurité et des supercalculateurs, le Groupe fournit des solutions intégrées pour tous les secteurs, dans 71 pays. Pionnier des services et produits de décarbonation, Atos s’engage à fournir des solutions numériques sécurisées et décarbonées à ses clients. Atos opère sous les marques Atos et Atos|Syntel. Atos est une SE (Société Européenne) cotée sur Euronext Paris et fait partie de l’indice Next 20.

La est de contribuer à façonner l’espace informationnel. Avec ses compétences et ses services, le Groupe supporte le développement de la connaissance, de l’éducation et de la recherche dans une approche pluriculturelle et contribue au développement de l’excellence scientifique et technologique. Partout dans le monde, Atos permet à ses clients et à ses collaborateurs, et plus généralement au plus grand nombre, de vivre, travailler et progresser durablement et en toute confiance dans l’espace informationnel.

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.

1ère partie : Analyse de l’existant :

• Prise de connaissance : environnement projet, outil existant
• Montée en compétence sur l’écriture de règles en langage B

2ème partie :

• Etude du moteur de règles ProB (prob.hhu.de)
• Réalisation d’un POC :
  • Transformation des règles existantes en machines ProB
  • Exploitation des résultats du moteur

En fonction de l’avancement de la conception, le contour du stage sera revu régulièrement avec le responsable du stage et les principaux acteurs du programme.

Environnement :

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

Objectifs pédagogiques :

Qui êtes-vous ?

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, nous voulons que nos employés se sentent valorisés, appréciés et libres d'être eux-mêmes au travail. Nos process RH sont conçus pour prévenir la discrimination envers l'identité ou l'orientation sexuelle, la religion, l’origine ethnique, l'âge, la neurodiversité, le handicap, la citoyenneté ou tout autre aspect qui rend nos collaborateurs uniques. Partout dans le monde, nous avons créé plusieurs programmes pour soutenir la culture inclusive d'Atos, et nous travaillons pour nous assurer que tous nos collaborateurs aient une chance égale de sentir qu'ils sont exactement là où ils doivent être.