Le poste correspondant à cette offre d'emploi a été pourvu.
Stage Développement vérification formelle H/F
Bretagne, FRANCE (35000) - Référence : 298883-34018421
Mis en ligne le 6 novembre 2020 par Rosalie Calvert (+ d'offres)
Atos
Type de contrat :CDI
Métier :Ingénieur développement logiciel
Type d'entreprise :SSII
Localisation :Bretagne, FRANCE (35000)
Salaire :de 18 000 €/an à 18 500 €/an
Télétravail :Télétravail partiel
Poste à pourvoir
Contexte :
Le stage est proposé au sein de l?entité transport du centre System Integration 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 de tout le retour d?expérience des autres projets similaires 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 de l?environnement projet
* Montée en compétence sur la méthodologie
* Analyse des REX
* Analyse Méthode B
2ème partie :
* Etude de la conception d?un nouvel outil
* 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
Objectifs pédagogiques :
Ce stage permet d?acquérir l?expérience d?un cycle complet d?un projet informatique, de l?étude et du choix des outils à mettre en ?uvre, jusqu?à la réalisation de l?application. Cela offrira au stagiaire la possibilité de s?intégrer dans l?équipe projet. Participer et de découvrir le fonctionnement d?un projet.
?
Le stage est proposé au sein de l?entité transport du centre System Integration 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 de tout le retour d?expérience des autres projets similaires 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 de l?environnement projet
* Montée en compétence sur la méthodologie
* Analyse des REX
* Analyse Méthode B
2ème partie :
* Etude de la conception d?un nouvel outil
* 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
Objectifs pédagogiques :
Ce stage permet d?acquérir l?expérience d?un cycle complet d?un projet informatique, de l?étude et du choix des outils à mettre en ?uvre, jusqu?à la réalisation de l?application. Cela offrira au stagiaire la possibilité de s?intégrer dans l?équipe projet. Participer et de découvrir le fonctionnement d?un projet.
?
Profil recherché
Niveau d'études souhaité : Bac + 5
Expérience souhaitée : 1 - 2 ans
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.
Expérience souhaitée : 1 - 2 ans
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.
Description de la société
À propos d?Atos
Atos est un leader international de la transformation digitale avec 110 000 collaborateurs dans 73 pays et un chiffre d?affaires annuel de 12 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 de Cloud Hybride Orchestré, Big Data, Applications Métiers et Environnement de Travail Connecté. Partenaire informatique mondial des Jeux Olympiques et Paralympiques, le Groupe exerce ses activités sous les marques Atos, Atos|Syntel, et Unify. Atos est une SE (Société Européenne) cotée sur Euronext Paris et fait partie de l?indice CAC 40.
La raison d?être d?Atos 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.
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.
Atos est un leader international de la transformation digitale avec 110 000 collaborateurs dans 73 pays et un chiffre d?affaires annuel de 12 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 de Cloud Hybride Orchestré, Big Data, Applications Métiers et Environnement de Travail Connecté. Partenaire informatique mondial des Jeux Olympiques et Paralympiques, le Groupe exerce ses activités sous les marques Atos, Atos|Syntel, et Unify. Atos est une SE (Société Européenne) cotée sur Euronext Paris et fait partie de l?indice CAC 40.
La raison d?être d?Atos 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.
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.