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 , 274 offres sont accessibles.
Type de contrat
Indiquez une région
Agents de sûreté (H/F) - Services Publics - Collectivités locales
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
Stagiaire Digitalisation de Processus (H/F) - Informatique - Nvlles technos
Architecte/Intégrateur Système (H/F) - Informatique - Nvlles technos
Juriste affaires sociales - CDD 12 mois (H/F) - Droit - Fisca - Economie - Statistiques
STAGE _ Analyste Corporate Venture (H/F) - Transport - Logistique - Achats
Comptable Rapprochement bancaire (H/F) - Finance - Audit - Comptabilité - Gestion
Conducteurs de bus - Permis D (H/F) - Transport - Logistique - Achats
Agent des gares de RER et des stations Métro F/H - Transport - Logistique - Achats
Maintenance des systèmes de détection incendie - Installation - Maintenance - Réparation
Stage - Ingénieur Développeur BIM (H/F) - Informatique - Nvlles technos