- 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
- 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)
- 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
- Participerez à une intégration mémorable ;
- Être accompagné(e) tout au long de votre mission dans l'objectif de développer vos compétences et de construire votre avenir professionnel ;
- Être responsable, autonome et force de proposition ;
- Ensemble, nous vous proposons d'innover et de participer à l'avancée du transport de demain.
-
Chargé de méthodes formelles H/F
Trouvé dans: Talent FR C2 - il y a 20 heures
HITACHI RAIL STS FRANCE Les Ulis, France À temps pleinDescription · : L'entité France d'Hitachi Rail renforce ses équipes et recrute un Chargé de méthodes formelles H/F en CDI, pour son site des Ulis (91) – siège social. · A propos de nous : · Hitachi Rail est un fournisseur mondial de solutions de transport ferroviaire intégrée ...
-
Ingénieur de recherche en méthodes formelles
Trouvé dans: beBee S2 FR - il y a 5 jours
ONERA Palaiseau, France À temps pleinQuelles sont les missions ? · Le Département Traitement de l'Information et Systèmes (DTIS) mène des études et recherches pour maîtriser la conception, les opérations et l'autonomie des systèmes aérospatiaux. · Vous serez affecté à l'unité de recherche « Modélisation et Ingénier ...
-
ingénieur de recherche en méthodes formelles h/f
Trouvé dans: Adzuna FR A C2 - il y a 20 heures
Onera Palaiseau, France CDIPrésentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de ...
-
Ingénieur Validation Méthode Formelle
Trouvé dans: Talent FR C2 - il y a 20 heures
Alten Boulogne-Billancourt, FranceDescription du poste · Au sein de l'entité Transport Terrestre et du département Ferroviaire, vous intégrerez l'équipe de développement des systèmes de conduite automatique de métro. · Votre mission consistera à analyser les spécifications fonctionnelles des systèmes, les tradui ...
-
ALTERNANCE - Ingénieur méthodes formelles H/F - Les Ulis (91)
Trouvé dans: Jooble FR O L C2 - il y a 3 jours
Hitachi Rail Les Ulis, Essonne, FranceA propos de nous : · 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 mai ...
-
Ingénieur développement et méthodes formelles pour les systèmes distribués H/F
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Tech Palaiseau, France CDDDescription du poste · Domaine · Mathématiques, information scientifique, logiciel · Contrat · CDD · Intitulé de l'offre · Ingénieur développement et méthodes formelles pour les systèmes distribués H/F · Statut du poste · Cadre · Durée du contrat (en mois) · 18 /36 · Description ...
-
CDD Ingénierie Logicielle, Méthodes Formelles et Physique Appliquée H/F
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Tech Saclay, France CDDDescription du poste · Domaine · Mathématiques, information scientifique, logiciel · Contrat · CDD · Intitulé de l'offre · CDD Ingénierie Logicielle, Méthodes Formelles et Physique Appliquée H/F · Statut du poste · Cadre · Durée du contrat (en mois) · 36 · Description de l'offre ...
-
Ingénieur Méthodes Formelles H/F
Trouvé dans: beBee S2 FR - il y a 1 jour
IKOS GROUP Levallois-Perret, France À temps pleinQuelles sont les missions ? · Contexte : · Dans l'environnement en plein essor du ferroviaire, IKOS recherche un ingénieur méthodes formelles (méthode B) pour accompagner un acteur majeur du secteur ferroviaire dans des projets de signalisation. L'activité principale sera de l'an ...
-
Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Palaiseau, France CDDDescription de l'offre · Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au ...
-
Ingénieur d'études et d'application spécialiste en Méthodes formelles H-F
Trouvé dans: Talent FR C2 - il y a 20 heures
SERMA Safety and Security Île-de-France CDIPoste et missions · SafeRiver a rejoint le groupe Serma · SafeRiver est une société d'expertise reconnue dans les domaines de la sûreté de fonctionnement, la safety et la cyber-sécurité des systèmes embarqués critiques et de leurs interactions avec les infrastructures. Ses clien ...
-
Ingénieur Recherche et Développement
Trouvé dans: Talent FR C2 - il y a 20 heures
INRIA Gif-sur-Yvette, France CDDContexte et atouts du poste · Ce poste est proposé dans le cadre du projet Décysif · ( un projet collaboratif qui vise à appliquer des · méthodes formelles pour apporter des garanties de correction des programmes · critiques pour la sureté et la sécurité. Ce projet réunit l'équi ...
-
Ingénieur Data scientist
Trouvé dans: Jooble FR O L C2 - il y a 3 jours
Astek Les Ulis, Essonne, FranceCe que nous allons accomplir ensemble : · Pour l'un de nos projets dans le domaine aéronautique, vous interviendrez en tant qu'ingénieur Data scientist / Intelligence artificielle sur la mise en place de systèmes experts destinés aux avions civils et militaires. · Team IT de 12 ...
-
PhD studentship on ecological modelling
Trouvé dans: Talent FR C2 - il y a 20 heures
CNRS Gif-sur-Yvette, France FTC PhD StudentInformations générales · Intitulé de l'offre : Thèse de doctorat (H/F): Modélisation écologique - simulation de la croissance et de la transpiration des forêts à long terme dans un modèle global de surface terrestre informé par des observations de cernes d'arbres · Référence : ...
-
Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G F/H
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Saclay, France CDDDescription de l'offre · Les futurs réseaux 6G permettront la transmission de données à haute vitesse avec une latence très faible. De nouvelles applications pourraient présenter des risques significatifs en termes de sécurité. Il sera essentiel de fournir des techniques de surv ...
-
Assistant(e) de service H/F
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Tech Saclay, France CDIDescription du poste · Domaine · Moyens généraux et installations · Contrat · CDI · Intitulé de l'offre · Assistant(e) de service H/F · Statut du poste · Non Cadre · Description de l'offre · Le poste proposé concerne la fonction d'assistante du SGLS et des trois laboratoires du s ...
-
STAGE – Ingénieur Intelligence Artificielle et Simulation – F/H
Trouvé dans: Talent FR 2A C2 - il y a 6 jours
Thales Palaiseau, France STAGEQUI SOMMES-NOUS ? · Thales propose des systèmes d'information et de communication sécurisés et interopérables pour les forces armées, les forces de sécurité et les opérateurs d'importance vitale. Ces activités, qui regroupent radiocommunications, réseaux, systèmes de protection, ...
-
Ingénieur en visualisation et environnement de développement H/F
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Tech Palaiseau, France CDDDescription du poste · Domaine · Mathématiques, information scientifique, logiciel · Contrat · CDD · Intitulé de l'offre · Ingénieur en visualisation et environnement de développement H/F · Statut du poste · Cadre · Durée du contrat (en mois) · 36 · Description de l'offre · Vous ...
-
Ingénieur-Chercheur pour la vérification et la validation de systèmes IA F/H
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Palaiseau, France CDDDescription de l'offre · « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » · EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ? · Le Commissariat à l'Éne ...
-
Ingénieur en visualisation et environnement de développement
Trouvé dans: Talent FR C2 - il y a 20 heures
CEA Palaiseau, France CDDDescription de l'offre · « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » · EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ? · Le CEA recherche un.e In ...
-
Stage - Ingénieur-e logiciel - Spécification et vérification formelles d'algorithmes en TLA+ F/H
Trouvé dans: Talent FR C2 - il y a 20 heures
Safran Electronics & Defense Massy, France StageSHIP / Student - À temps pleinJob Description · La spécification et la mise au point de systèmes concurrents est un problème réputé particulièrement ardu, et occasionne des bugs « dormants » difficiles à débusquer par des campagnes de test traditionnelles. Le langage de spécification TLA+ propose un formalis ...
ALTERNANCE - Ingénieur méthodes formelles H/F - Les Ulis (91) - Hitachi Rail
Description
A propos de nous :
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 :
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 missions :
Dans 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:
Localisation du poste :
Votre profil :
Vous êtes étudiant en 3ème année de cycle d'ingénieur avec une spécialité informatique. Ce poste requiert :
L'Entreprise :
Si vous souhaitez intégrer une entreprise dynamique et au cœur d'une innovation constante dans le domaine du transport ferroviaire, n'attendez pas et accompagnez-nous à travers nos projets internationaux.
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.
Rejoindre Hitachi Rail c'est :
Ensemble, nous vous proposons d'innover et de participer à l'avancée du transport de demain.
Pour en savoir plus sur notre entreprise, rendez-vous sur le lien suivant :
Comment postuler ?
Si vous êtes conquis par notre opportunité d'alternance, n'attendez plus et envoyez-nous votre CV. Si vous êtes retenu, vous serez convié à un entretien.
Maintenant c'est à vous de jouer
Bonne chance