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

il y a 1 semaine

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)

  • Ingénieur méthodes formelles H/F

    il y a 1 semaine

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

  • Expert.e en Financement Public de l'Innovation

    il y a 2 semaines

    Greater Paris Metropolitan Region, France 4 Innovation Temps plein

    Descriptif du posteVous souhaitez travailler au sein d'une équipe dynamique d'Experts créatifs, rigoureux et motivés dans leurs missions de développement des sociétés clientes? Les activités d'innovation, les enjeux géostratégiques et l'aspect environnemental vous intéressent ? Alors cette offre est faite pour vous À propos de 4 InnovationForte...

  • Vérification Formelle de La Primitive

    il y a 2 semaines

    Paris, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Ingénieur scientifique contractuel **Contexte et atouts du poste**: La sécurité de la cryptographie usuelle repose sur des problèmes mathématiques réputés difficiles à résoudre: trouver un logarithme discret (DLOG), ou décomposer de grands nombres en...

  • Stage - Ingénieur logiciel

    il y a 1 jour

    Greater Paris Metropolitan Region, France Neamine Temps plein

    Tu veux participer au déploiement d'une technologie solaire de pointe et contribuer à la transition énergétique ? En tant que stagiaire Software engineer chez Neamine, tu participeras à la conception du système logiciel permettant de suivre et d'analyser en temps réel le fonctionnement de nos héliostats.A propos de Neamine :Neamine est une startup...

  • Stage Ingénieur(e) IA

    il y a 5 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...

  • Stage Ingénieur Chef de Projet MOEx H/F

    il y a 1 semaine

    Greater Paris Metropolitan Region, France setec Bâtiment Temps plein

    À propos de noussetec est un groupe d'ingénierie français, indépendant et pluridisciplinaire, reconnu pour la réalisation de projets complexes et innovants à travers le monde. Animés par l'esprit "Ingénieurs et Citoyens", passionnés par la technique, nos 4 000 collaboratrices et collaborateurs mobilisent chaque jour leurs compétences qu'ils mettent...

  • Stage - Ingénieur Développeur BIM - F/H (DSI/TSI)

    il y a 3 jours

    Greater Paris Metropolitan Region, France RATPgroup Temps plein

    Rejoins-nous en tant que qu'ingénieur développement Les équipes de DSI gèrent les systèmes d'information (outils, collaborateurs, équipements…) nécessaires à l'ensemble des activités du Groupe, au service des collaborateurs et des voyageurs. En partenariat étroit avec les métiers, DSI assure une grande variété de missions pour accompagner la...

  • Stage - Stage Fin d’études / Ingénieur Innovation en Mécanique Numérique [REF-BME-44-1] - Pari[...]

    il y a 1 semaine

    Paris, France Astek Temps plein

    Stage – Fin d’études / Ingénieur Innovation en Mécanique Numérique Stage – Fin d’études / Ingénieur Innovation en Mécanique Numérique [REF-BME-44-1] – Paris, France (H/F) Mots-Clés : Batterie à lithium, ultrasons, élastodynamique, thermique, contrôle non destructif, acoustique, simulation numérique, expérimentation. Contexte :...

  • Ingénieur Méthode Installation Offshore

    il y a 1 semaine

    Paris, France fortil Temps plein

    OverviewBase pay range: Provided by fortil. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.Fortil est un groupe international d’ingénierie et d'expertise en technologies. Dans le cadre du développement de nos activités en Ile-de-France, nous recherchons un(e) Ingénieur(e) Méthode Installation...

  • Ingénieur(e) méthodes H/F

    il y a 1 semaine

    Greater Grenoble Metropolitan Area, France EFOR Temps plein

    Dans le cadre de notre développement d'activité, nous recherchons un(e)Ingénieur(e) méthodes (H/F)pour rejoindre notre équipe Grenobloise en CDI.Vos missions :Sélectionner, installer et maintenir les équipements de production.Optimiser les processus de production afin d'améliorer l'efficacité et réduire les coûts.Suivre les indicateurs de...