Emplois actuels liés à Ingénieur en méthodes formelles H/F - Les Ulis, Île-de-France - Hitachi Rail
-
Ingénieur en Méthodes Formelles H/F
il y a 4 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinDescription du posteHitachi Rail STS France recherche un Ingénieur en Méthodes Formelles H/F pour rejoindre son équipe de développement de solutions de transport ferroviaire. Le candidat idéal possèdera une solide connaissance des méthodes formelles et de leur application dans le domaine du transport ferroviaire.Missions clésAppliquer les méthodes...
-
Ingénieur en méthodes formelles H/F
il y a 4 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinDescriptionPoste à pourvoirNous recherchons un Ingénieur en méthodes formelles H/F pour rejoindre notre équipe de développement de systèmes de contrôle ferroviaire.MissionsPrincipales missionsAppliquer les méthodes formelles pour développer des systèmes de contrôle ferroviaire sécurisés et fiables.Travailler en étroite collaboration avec les...
-
Ingénieur en méthodes formelles H/F
il y a 4 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinDescriptionPoste à pourvoirNous recherchons un Ingénieur en méthodes formelles H/F pour rejoindre notre équipe de développement de systèmes de contrôle ferroviaire.MissionsPrincipales missionsAppliquer les méthodes formelles pour développer des systèmes de contrôle ferroviaire sécurisés et fiables.Travailler en étroite collaboration avec les...
-
Chargé de méthodes formelles H/F
il y a 2 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinDéveloppez votre carrière dans un environnement international et multiculturel L'entité France d'Hitachi Rail recrute un Chargé de méthodes formelles H/F pour son site des Ulis (91) – siège social. Vous serez chargé d'appliquer les méthodes formelles sur des postes d'enclenchement et de contribuer à la construction d'un monde plus durable et...
-
Chargé de méthodes formelles H/F
il y a 3 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinPoste : Chargé de méthodes formelles H/F Nous recherchons un Chargé de méthodes formelles H/F pour rejoindre notre équipe de développement de systèmes à Hitachi Rail STS France. Missions :Assister les équipes de développement, d'étude, de sécurité au cours des différentes phases du projetÉtablir le catalogue de preuve et exécuter les...
-
Chargé de méthodes formelles H/F
il y a 3 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinPoste : Chargé de méthodes formelles H/F Nous recherchons un Ingénieur en méthodes formelles pour rejoindre notre équipe de développement de solutions de transport ferroviaire intégrées. Missions : - Assister les équipes de développement, d'étude, de sécurité au cours des différentes phases du projet - Établir le catalogue de preuve et...
-
Chargé de méthodes formelles H/F
il y a 3 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinDescriptionL'entité France d'Hitachi Rail recrute un Chargé de méthodes formelles H/FHitachi Rail est un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions innovantes et durables dans les domaines du matériel roulant, de la signalisation, de l'exploitation, du service et de la maintenance,...
-
Chargé de méthodes formelles Ingénieur de systèmes
il y a 2 semaines
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinPoste à pourvoir : Nous sommes à la recherche d'un Chargé de méthodes formelles pour rejoindre notre équipe Ingénierie à l'entité France d'Hitachi Rail. Missions : Vous serez chargé de l'application des méthodes formelles sur les postes d'enclenchement. Vos principales missions incluent : Assister les équipes de...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 1 mois
Magny-les-Hameaux, Île-de-France ONERA Temps pleinPrésentation du posteL'ONERA, leader de la recherche aéronautique et spatiale en France, recherche un ingénieur de recherche en méthodes formelles pour rejoindre son équipe de développement de logiciels. Vous serez chargé de développer des études et recherches dans le domaine informatique et de participer à des projets de différentes natures,...
-
Ingénieur de vérification formelle H/F
il y a 24 heures
Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps pleinDéveloppement métrologique chez HITACHI RAIL STS FRANCENous recherchons un Ingénieur de vérification formelle H/F pour rejoindre notre équipe en France. Ce poste est basé dans les locaux de HITACHI RAIL STS FRANCE, au cœur du Parc d'activités de Courtabœuf, accessible facilement par voiture ou bus.
-
Ingenieur de recherche en methodes formelles H/F
il y a 2 semaines
Magny-les-Hameaux, Île-de-France ONERA Temps pleinPrésentation du posteL'ONERA recherche un ingénieur de recherche en méthodes formelles pour rejoindre son département Traitement de l'Information et Systèmes (DTIS).Ce poste consiste à développer des études et des recherches dans le domaine de l'ingénierie logicielle, notamment autour de thèmes tels que la modélisation, l'ingénierie dirigée par...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 3 semaines
Magny-les-Hameaux, Île-de-France ONERA Temps pleinPrésentation du posteVous rejoignez l'ONERA, premier acteur de la recherche aéronautique et spatiale en France, dans le cadre d'un poste d'ingénieur de recherche en méthodes formelles. Votre mission consiste à développer des logiciels de référence internationalement reconnus pour la simulation numérique des écoulements et des...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 3 semaines
Magny-les-Hameaux, Île-de-France ONERA Temps pleinPrésentation du posteL'ONERA recherche un ingénieur de recherche en méthodes formelles pour rejoindre son équipe de développement de logiciels de référence. Vous serez chargé de développer des études et recherches dans le domaine informatique et de participer à des projets de différentes natures, visant à la mise en œuvre de méthodes...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 4 semaines
Magny-les-Hameaux, Île-de-France ONERA Temps pleinPrésentation du posteL'ONERA, acteur central de la recherche aéronautique et spatiale, recherche un ingénieur de recherche en méthodes formelles pour rejoindre son département Traitement de l'Information et Systèmes (DTIS).MissionsVous serez chargé de développer des études et recherches dans le domaine informatique, en lien avec les départements de...
-
Magny-les-Hameaux, Île-de-France ONERA Temps pleinPrésentation du posteL'ONERA recrute un ingénieur de recherche pour rejoindre son département Traitement de l'Information et Systèmes (DTIS), qui travaille sur la conception, les opérations et l'autonomie des systèmes aérospatiaux. Le candidat idéal possèdera une formation en informatique et expérience dans les méthodes formelles ou l'ingénierie...
-
Ingénieur Méthodes Industriel
il y a 3 semaines
Les Ulis, Île-de-France AKETYS Temps pleinIngénieur Méthodes Industriel H/FPoste et missions :Nos usines travaillent en étroite collaboration avec les bureaux d'études pour concevoir et développer des produits. En tant qu'ingénieur méthode, vous serez chargé de :– Participer aux étapes de conception avec l'équipe bureau d'étude pour garantir la faisabilité des produits...
-
Ingénieur Méthodes Industriel
il y a 3 semaines
Les Ulis, Île-de-France AKETYS Temps pleinIngénieur Méthodes Industriel H/FPoste et missions :Nos usines travaillent en étroite collaboration avec les bureaux d'études pour concevoir et développer des produits. En tant qu'ingénieur méthode, vous serez chargé de :– Participer aux étapes de conception avec l'équipe bureau d'étude pour garantir la faisabilité des...
-
Ingénieur Méthodes Industriel
il y a 6 jours
Les Ulis, Île-de-France AKETYS Temps pleinIngénieur Méthodes Industriel H/FPoste et missions :Nos clients travaillent avec les bureaux d'études pour définir et concevoir des produits. A partir des données de définition d'un nouveau produit, l'usine réalise un dossier de fabrication et de contrôle pour les ateliers de production. Nous recherchons un(e) ingénieur méthode qui sera chargé de...
-
Ingénieur Méthodes Industriel
il y a 4 semaines
Les Ulis, Île-de-France AKETYS Temps pleinIngénieur Méthodes Indus H/FID : AK241-48Poste et missions :Nos usines de clients travaillent en étroite collaboration avec les bureaux d'études pour définir et concevoir des produits. À partir des données de définition d'un nouveau produit, l'usine réalise un dossier de fabrication et de contrôle pour les ateliers de production.Nous...
-
Ingénieur Méthodes Industriel
il y a 3 semaines
Les Ulis, Île-de-France AKETYS Temps pleinIngénieur Méthodes Industriel H/FID: AK241-48Poste et missions :Nos clients travaillent avec leurs bureaux d'études pour définir et concevoir des produits. A partir des données de définition d'un nouveau produit, l'usine réalise un dossier de fabrication et de contrôle pour les ateliers de production. Dans le cadre de ces activités, nous...
Ingénieur en méthodes formelles H/F
Il y a 2 mois
Hitachi Rail est un fournisseur mondial entièrement intégré de solutions de transport ferroviaire de pointe. Nous développons continuellement des solutions dans les domaines du matériel roulant, de la signalisation, de l'exploitation, du service et de la maintenance, ainsi que de la technologie numérique et clé en main.
Nous sommes présents dans 38 pays, et comptons employés dans le monde entier. Hitachi Rail est présent en France depuis plus d'un siècle et emploie aujourd'hui plus de 600 personnes réparties sur trois sites :
- Les Ulis (Ile-de-France) : fonctions support, ingénierie et management des projets
- Riom (Auvergne) : site industriel de production et logistique
- Paris (Champs Elysées) : équipe de maintenance 24/7 d'une partie des réseaux de métro et de tramway de la RATP
Rejoindre les équipes de l'entité France d'Hitachi Rail c'est également intégrer le pôle d'excellence et de compétences du groupe pour les technologies CBTC et ERTMS dans le monde. Au travers de ces compétences spécifiques, nous jouons un rôle majeur dans la conception des solutions de transport des projets du monde entier.
Vos missionsDans le cadre du projet de rénovation des systèmes d'enclenchement de signalisation ferroviaire en France, vous participez à la vérification formelle des systèmes d'enclenchement. Les activités de vérification formelle se déroulent dans un environnement méthodologique (EN Vous intégrez le service Commissioning & Validation en charge de la validation, vérification et mise en service des systèmes sol de signalisation ferroviaire. Dans ce cadre, vos missions sont :
- Mettre à jour l'environnement de la vérification formelle en langage HLL et le maintien de la documentation de conception à jour
- Analyser et comprendre le fonctionnel de l'enclenchement afin de modéliser l'environnement de la vérification formelle
- Lancer des campagnes de vérification formelle et analyser les résultats
Au cœur du Parc d'activités de Courtabœuf
Accès facilité : En voiture depuis l'autoroute A10/A11 et la N118 - En bus n°22 depuis la gare RER de Massy Palaiseau (RER B et C)
Votre profilVous êtes étudiant en 3ème année de cycle d'ingénieur avec une spécialité informatique. Ce poste requiert :
- Une connaissance des méthodes formelles
- Des connaissances en développement logiciel : Python, HLL, Xml...
- Une capacité d'analyse des systèmes complexes
- De la rigueur, une organisation et une autonomie
- Un niveau de français et d'anglais, courant et technique, qui vous permet d'évoluer aisément dans notre environnement international et industriel
Si vous souhaitez intégrer une entreprise dynamique et au cœur d'une innovation constante dans le domaine du transport ferroviaire, rejoignez-nous.
Nos + :
Hitachi Rail France décroche depuis 7 ans la labellisation HappyTrainees et 92% des stagiaires et alternants recommandent Hitachi Rail comme employeur à leur réseau. Nos stagiaires et alternants apprécient en particulier : la diversité des projets réalisés, la qualité des missions, l'esprit start-up d'une entreprise internationale et à taille humaine, de télétravailler* ainsi que les possibilités d'évolution.
Dans le respect de la politique télétravail en vigueur.
