Stage Ingénieur innovation méthodes formelles H/F
il y a 2 semaines
- 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)
-
Stage Ingénieur innovation méthodes formelles H/F
il y a 7 jours
Greater Paris Metropolitan Region, France RATPgroup Temps pleinPoste 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 :...
-
Stage ingénieur développement en méthodes formelles H/F
il y a 2 semaines
Greater Paris Metropolitan Region, France RATPgroup Temps pleinNous 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 7 jours
Paris, France Systerel Temps pleinNotre 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 pleinPoste 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 pleinRejoignez-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...
-
Consultant en financement de l'innovation
il y a 7 jours
Greater Paris Metropolitan Region, France Bl - Financement de l'Innovation🌱 Temps pleinOpportunité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 pleinType 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 pleinDans 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 pleinRejoignez 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 pleinPoste 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....