Stage ingénieur développement en méthodes formelles (H/F) - RATP
Stage
Fonction : Ingénierie
Lieu : Val-de-Marne
Date de début : 2025-11-26
Date de fin : 2025-12-26
Rémunération comprise entre 0€ et 0€ par an
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 du candidat

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 ?

Actuellement , 246 offres sont accessibles.
Type de contrat
Indiquez une région
Gestionnaire de Terminus - Métro Parisien (H/F) - Transport - Logistique - Achats
Technicien sup en maintenance électronique (H/F) - Installation - Maintenance - Réparation
Manager d'Exploitation Ferroviaire (H/F) - Transport - Logistique - Achats
Stage - Chargé de mission (H/F) - Transport - Logistique - Achats
Agent d'accueil et de conduite métro (H/F) - Hotellerie - Restauration - Tourisme
Conducteur de Bus - Permis D (H/F) - Transport - Logistique - Achats
Stagiaire Digitalisation de Processus (H/F) - Informatique - Nvlles technos
Technicien de maintenance des systèmes de tr (H/F) - Installation - Maintenance - Réparation
Architecte/Intégrateur Système (H/F) - Informatique - Nvlles technos
Contrôleur de titre de transport (H/F) - Transport - Logistique - Achats
Ingénieur Filaire (H/F) - Informatique - Nvlles technos