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

il y a 5 jours

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

Nous 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 Unit
RATP Infrastructures
pour votre stage ingénieur de fin d'études, c'est :

Participer à des projets concrets, innovants et à fort impact environnemental, au cœur des infrastructures qui font avancer la mobilité de demain.

Évoluer dans un environnement stimulant, qui valorise l'autonomie, la curiosité et l'esprit d'initiative, avec un accompagnement de proximité.

Bénéficier de responsabilités réelles, dans une logique d'embauche à la clé si l'expérience de stage est réussie.

Intégrer un gestionnaire d'Infrastructures ferroviaires aux savoir – faire « intégrés » dans les domaines de l'ingénierie de projet et de la maintenance.

Se projeter dans un avenir professionnel avec des perspectives de parcours diversifiés et enrichissants en France et à l'International.

Un stage chez nous, c'est un parcours enrichissant, formateur et porteur de sens.


Ensemble, construisons votre avenir… et celui de la ville de demain.
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)

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

    il y a 1 semaine

    Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Poste et MissionsNous 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...

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

    il y a 1 semaine

    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...

  • Ingénieur méthodes formelles H/F

    il y a 5 jours

    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 4 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...

  • Consultant en financement de l'innovation

    il y a 5 jours

    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...

  • Chargé d’Études Marketing Quali

    il y a 3 semaines

    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...

  • Stage - Conseil Stratégie & Innovation

    il y a 2 semaines

    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...

  • STAGE - Chargé d'animation et management de l'innovation F/H (D&I/INN)

    il y a 5 jours

    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é...

  • Stage de fin de cursus ingénieur

    il y a 2 semaines

    Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Poste et MissionsDe jour comme de nuit, 365 jours par an, les équipes de RATP Infrastructures surveillent, entretiennent, réparent et renouvellent les infrastructures des réseaux métro et RER. Notre engagement : mettre à disposition des exploitants des infrastructures sûres et disponibles, au quotidien comme dans la durée. À partir de 2026, RATP...

  • Stage Ingénieur(e) IA

    il y a 2 jours

    Greater Paris Metropolitan Region, France Acadys Temps plein

    Acadys, cabinet de conseil reconnu pour son expertise en stratégie, innovation et transformation numérique, recrute un(e) stagiaire ingénieur(e) IA / Machine Learning pour intégrer sa BU DATA/IA. Vous participerez à des projets de R&D de pointe dans le domaine de l'intelligence artificielle, du Machine Learning et de l'IA Générative, dans un...