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

il y a 2 semaines

FontenaysousBois, France RATP Temps plein

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) #J-18808-Ljbffr

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

    il y a 1 semaine

    Fontenay-sous-Bois, France Régie Autonome des Transports Parisiens Temps plein

    Stage Ingénieur innovation méthodes formelles H/F (INFRAS/STF) page is loaded## Stage Ingénieur innovation méthodes formelles H/F (INFRAS/STF)remote type: Télétravail possiblelocations: BATIMENT VAL BIENVENUE : 11 AVENUE LOUISON BOBET, 94120 FONTENAY SOUS BOISposted on: Offre publiée il y a 2 joursjob requisition id: R0017530## 01. Poste et...

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

    il y a 2 semaines

    Fontenay-sous-Bois, Île-de-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...

  • Stage Ingénieur

    il y a 2 semaines

    Fontenay-sous-Bois, Île-de-France RATPgroup Temps plein

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

  • Ingénieur d'assistance informatique

    il y a 2 semaines

    Fontenay-sous-Bois, France RATP Temps plein

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

  • Ingenieur Methodes

    il y a 1 semaine

    FONTENAY SOUS BOIS - MUST FONTENAY SOUS BOIS, France Idex Temps plein

    Premier groupe français indépendant de services à l'énergie et à l'environnement, nous sommes présents sur l'ensemble de la chaîne de valeur énergétique. Notre ambition, décarboner les territoires au travers nos activités : La production d'énergie (usines de valorisation énergétique des déchets, méthaniseurs, centrales biomasse, géothermie,...

  • Ingenieur Methodes

    il y a 2 semaines

    FONTENAY SOUS BOIS - MUST FONTENAY SOUS BOIS, France Idex Temps plein

    Premier groupe français indépendant de services à l'énergie et à l'environnement, nous sommes présents sur l'ensemble de la chaîne de valeur énergétique. Notre ambition, décarboner les territoires au travers nos activités : La production d'énergie (usines de valorisation énergétique des déchets, méthaniseurs, centrales biomasse, géothermie,...

  • INGÉNIEUR DE RECHERCHE

    il y a 6 jours

    Aulnay-sous-Bois, France STATION F Temps plein

    À propos Notre Raison d'être : Créer la beauté qui fait avancer le monde. Le désir de beauté est une force puissante qui nous fait avancer. La beauté ne se limite pas à l’apparence. Elle nous donne confiance en nous, en qui nous voulons être, et dans notre relation avec les autres. Depuis plus d’un siècle, nous exerçons ce métier unique :...

  • ingénieur de recherche

    il y a 2 semaines

    Aulnay-sous-Bois, Île-de-France STATION F Temps plein

    À proposNotre Raison d'être : Créer la beauté qui fait avancer le monde.Le désir de beauté est une force puissante qui nous fait avancer. La beauté ne se limite pas à l'apparence. Elle nous donne confiance en nous, en qui nous voulons être, et dans notre relation avec les autres.Depuis plus d'un siècle, nous exerçons ce métier unique : créateur...

  • Stage Fin d'Etudes Ingénieur

    il y a 2 jours

    Fontenay-sous-Bois, Île-de-France RATPgroup Temps plein

    Rejoins-nous en tant que stagiaire Chef de Projet Interopérabilité BIM et Qualité de la donnée La RATP Infrastructures, Business Unit du groupe RATP forte de plus de 3 000 collaborateurs, assure les missions de gestionnaire d'infrastructures du réseau francilien. Elle est responsable de l'aménagement, de l'entretien et du renouvellement des...

  • Stages - Recherche & Innovation - Phytochemistry

    il y a 1 semaine

    Aulnay-sous-Bois, France l'Oréal Temps plein

    Depuis plus de cent ans, L'Oréal opère selon l'idée que la beauté a besoin de la science. Dans un monde désormais transformé par l'accélération digitale et l'émergence de nouveaux domaines scientifiques, nous sommes confiants dans notre capacité à transformer ces nouvelles opportunités en innovations disruptives, étroitement liées aux nouvelles...