Stage Ingénieur innovation méthodes formelles H/F

il y a 2 semaines


Greater Paris Metropolitan Region, France RATPgroup Temps plein
  • Poste et Missions

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 liées à l'innovation en vérification formelle.

En rejoignant le Groupe RATP, vous intégrerez un acteur majeur de la mobilité urbaine, engagé dans le développement d'une ville durable et intelligente grâce à des solutions de transport sûres et connectées. Au travers des missions confiées au groupe VAL, vous contribuerez à améliorer la sécurité des millions de voyageurs qui empruntent chaque année les lignes du métro parisien.

Au sein d'une équipe réalisant des activités de vérification formelle, vous travaillerez sur un sujet d'innovation en lien avec les outils logiciels de preuve formelle utilisés à la RATP.

Vous serez par exemple amenés à :

  • Comparer les performances des outils de preuve formelle propriétaires utilisés actuellement par la RATP avec celles d'approches basées sur des outils open source similaires.
  • Développer un outil de preuve formelle basé sur les outils open source pour qu'ils soient compatibles avec les outils RATP
  • Profil recherché

Vous êtes à la recherche d'un stage ingénieur de fin d'études ans 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 ?

Vous êtes :

  • Ingénieur ou Master 2 en informatique
  • Familier avec un langage fonctionnel ( ocaml) serait idéal)
  • Eventuellement familier un langage synchrone/ a flux de données : (Lustre) par exemple.

Vous avez :

  • Des connaissances des bases en méthodes formelles : logique, model checking, sémantique des langages de programmation et systèmes de typage.
  • Des connaissances théorique et pratique de base des langages (traiter un arbre syntaxique, notions de typage)

RATPinfras

  • Informations complémentaires

Région :Ile de France

Type de contrat :

Stage (durée déterminée) (stagiaire)



  • Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Poste et MissionsNous recherchons un stagiaire dans le domaine informatique pour nous rejoindre, au sein de la BU RATP Infrastructures, le groupe VAL, basé à Val de Fontenay et réalisant des activités liées à l'innovation en vérification formelle.Rejoindre la Business UnitRATP Infrastructurespour votre stage ingénieur de fin d'études, c'est :...


  • Greater Paris Metropolitan Region, France RATPgroup Temps plein

    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.En rejoignant le Groupe RATP, vous intégrerez un acteur majeur de la mobilité urbaine, engagé dans le développement...


  • Paris, France Systerel Temps plein

    Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.Nous recherchons de nouveaux collaborateurs motivés par les...

  • Stage Ingénieur

    il y a 5 jours


    Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Poste et MissionsCe stage s'inscrit dans le cadre du projet OCTYS 2030, dédié au développement et à la qualification du système de contrôle-commande embarqué et au déploiement de nouvelles générations de matériels roulants. Le stagiaire sera intégré à la Cellule d'Intégration et de Vérification (CIV), dont la mission est d'assurer la...

  • Stage Ingénieur IA

    il y a 14 heures


    Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Rejoignez-nous en tant qu'Ingénieur IA / ML engineer F/HPoste et MissionsEnvironnement du poste :Rejoindre la RATP, c'est intégrer l'un des plus grands réseaux de transport urbain au monde et contribuer chaque jour à la mobilité de plus de 8 millions de voyageurs en Île-de-France. Nos collaborateurs assurent la circulation des bus, métros, RER et...


  • Greater Paris Metropolitan Region, France Bl - Financement de l'Innovation🌱 Temps plein

    OpportunitéRejoignez B.Conseil, une entreprise à mission qui allie impact social et performance économique.Participez à un projet ambitieux avec une croissance annuelle de plus de 30% et une équipe dynamique de 80 personnes.Travaillez avec des startups et PME innovantes, et contribuez à changer le monde grâce à des projets novateurs.MissionVous serez...


  • Greater Paris Metropolitan Region, France Enov Temps plein

    Type de contrat : StageDate de stage : Janvier ou avril 2026Lieu de travail : Lyon (M° Flachet) ou Paris (M° Bourse) + Télétravail (2 jours)Rémunération : 1 000 € brut, participation au transport, carte restaurantRejoins une entreprise en transformation et participe activement à la mise en place de nouvelles méthodes de travail agiles au sein du...


  • Paris, Île-de-France IMPULSE PARTNERS - A FAST LANE FOR INNOVATION Temps plein

    Dans Un Contexte De Croissance, Nous Recherchons Un Analyste (f/h) Pour Un Stage De 6 Mois. Vous Travaillerez En Collaboration Directe Avec L'équipe Managériale, Les Start-ups Et Les Partenaires Des Accélérateurs. Immergé Dans Un Environnement Entrepreneurial Aux Enjeux Importants, Vous Disposerez D'une Forte Autonomie Et Interviendrez Sur Des Sujets...


  • Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Rejoignez nous en tant que chargé d'animation et management de l'innovationLa Direction opérationnelle Digital & Innovation (D&I) conçoit, déploie et exploite tous les systèmes d'information et solutions digitales nécessaires à l'ensemble des activités du Groupe (conception de l'offre de transport, planification des personnels et des trains, sûreté...


  • Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Poste et MissionsLa Direction Digital & Innovation (D&I) imagine, conçoit et déploie des solutions et des projets qui permettent au Groupe RATP de préparer l'avenir au service des voyageurs et des territoires.Au sein de D&I, l'unité INN a pour mission d'impulser, déployer et piloter la stratégie et les politiques du Groupe en matière d'innovation....