Stage Ingénieur innovation méthodes formelles H/F (INFRA STF) at RATPgroup

Fontenay-sous-Bois, Ile-de-France, France -

Full Time

Start Date

Immediate

Expiry Date

01 Feb, 26

Salary

0.0

Posted On

03 Nov, 25

Experience

0 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Formal Methods, Software Tools, Teamwork, Communication, Problem Solving, Functional Programming, Model Checking, Programming Languages, Syntax Trees, Type Systems

Industry

Urban Transit Services

Description

01. 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 02. 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 03. Informations complémentaires Région :Ile de France Type de contrat : Stage (Fixed Term) (Trainee) Pourquoi choisir le groupe RATP ? Le Groupe RATP est le 3ème acteur mondial du transport public, implanté dans 15 pays et sur 5 continents. Nous rejoindre, c’est s’engager chaque jour à faire vivre les valeurs d’un service essentiel au déplacement quotidien de nos voyageurs. Tous les jours, nos 71 000 salariés à travers le monde se mobilisent pour développer, exploiter, entretenir et moderniser des systèmes de transport collectif innovants et répondre ainsi aux besoins de mobilité des villes de demain. Dans un contexte de développement des transports en commun pour un monde moins carboné, l’intérêt général guide notre engagement. Il donne du sens à nos métiers, soude les équipes et transporte nos collaboratrices et collaborateurs dans leurs carrières. En nous rejoignant, vous développerez des compétences tout au long de votre parcours professionnel au sein du groupe. Vous pourrez également saisir l’opportunité d’évoluer vers d’autres domaines, d’autres métiers grâce aux mobilités internes. Alors… pourquoi pas vous ?

Responsibilities

The intern will work on formal verification activities within the RATP Infrastructures group, focusing on innovation related to formal proof software tools. Responsibilities include comparing proprietary formal proof tools with open-source alternatives and developing compatible tools.