Stage Ingénieur innovation méthodes formelles H/F (INFRAS/STF)

RATP; Fontenay-sous-Bois; Sur place; EUR 60 000 - 80 000; Temps partiel

Résumé du poste

Une entreprise de transport urbain recherche un stagiaire en informatique pour participer à des projets innovants au sein de leur équipe. Le poste requiert une formation en informatique, de l'autonomie et un intérêt pour les méthodes formelles. Les candidats idéaux ont des connaissances en langages fonctionnels et en vérification formelle. Ce stage offre des responsabilités réelles et des possibilités d'embauche.

Qualifications

• Autonome et motivé par des sujets techniques complexes.
• Intérêt pour le domaine ferroviaire et les solutions de mobilité.

Responsabilités

• Comparer les performances des outils de preuve formelle.
• Développer un outil de preuve formelle compatible avec les outils RATP.

Connaissances

Autonomie

Travail en équipe

Communication écrite et orale

Logique

Model checking

Sémantique des langages de programmation

Langage fonctionnel (ocaml)

Langage synchrone (Lustre)

Formation

Ingénieur ou Master 2 en informatique

Description du poste

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

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 ?

• 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 (durée déterminée) (stagiaire)