Stage ingénieur développement en méthodes formelles (H/F)

Description de l'offre

Nous recherchons un stagiaire dans le domaine informatique pour rejoindre, au sein de la BU RATP Infrastructures, le groupe VAL, basé à Val de Fontenay et réalisant des activités de développement d'outils de vérification formelle.

Au sein d'une équipe réalisant des activités de vérification formelle, vous apporterez un support aux autres personnes de l'équipe sur tous les sujets qui concernent les outils logiciels utilisés et plus généralement l'environnement de développement.

Vous serez par exemple amenés à :

redévelopper la chaine Python d'un outil de traduction en double chaine pour en améliorer les performances et faciliter sa maintenance,
corriger des bogues et apporter des évolutions aux outils existants et en développer de nouveaux,
rédiger et/ou mettre à jour de la documentation technique et/ou utilisateur,
mettre en place et/ou exécuter des tests de validation et de non-régressions,
mettre en place de l'intégration continue afin de lever automatiquement des alertes en cas de régression,
tester et/ou déployer de nouveaux outils dans le cadre de la modernisation de notre environnement de développement,
assurer l'administration d'outils métier, tels que Gitlab ou YouTrack,
>

Profil recherché

Vous êtes à la recherche d'un stage ingénieur de fin d'études dans le cadre de votre formation dans le domaine informatique.

Vous êtes autonome, voire autodidacte. Vous aimez travailler en équipe et avez un bon sens de l'écoute. Vous êtes organisé et avez une très bonne communication écrite et orale. Enfin, travailler sur des sujets techniques complexes ne vous fait pas peur. Bien au contraire, cela vous motive !

Peut-être êtes-vous également intéressé par le domaine ferroviaire et pour devenir acteur ou actrice du développement d'une ville durable et intelligente grâce à des solutions de mobilité sûres et connectées ?

À propos de RATP

Le Groupe RATP, implanté dans 14 pays, sur quatre continents est le 5e groupe de transport public urbain au monde. Il est composé d'une maison-mère qui exploite le réseau francilien, un réseau multimodal parmi les plus complexes et d'une centaine de filiales qui proposent une variété d'expertises en France et à l'International. C'est une entreprise intégrée qui détient une expertise globale : Ingénierie, exploitation et maintenance.