- 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.
-
Ingénieur de recherche en méthodes formelles
il y a 2 semaines
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 ...
-
Chargé de méthodes formelles H/F
il y a 1 jour
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 h/f
il y a 4 jours
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
il y a 4 jours
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 ...
-
ingénieur de recherche en méthodes formelles(h/f)
il y a 14 heures
ONERA Palaiseau, France CDI· A propos de l'entreprise : · L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études ...
-
Ingénieur Méthodes Formelles H/F
il y a 5 jours
IKOS GROUP Levallois-Perret, France CDI· Poste : 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'analyse logicielle su ...
-
Ingénieur Méthodes Formelles H/F
il y a 6 jours
IKOS GROUP Courbevoie, France CDIIKOS est la société de conseil spécialisée dans l'ingénierie ferroviaire. À travers nos valeurs, nous nous engageons à participer à la transition écologique en développant les modes de transport du futur, qui seront sûrs et durables, ainsi qu'une énergie plus verte. Nos 1400 ingé ...
-
Ingénieur Méthodes Formelles H/F
il y a 6 jours
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 ...
-
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 ...
-
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 ...
-
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 ...
-
Raisonnement Stratégique Avec Ressources en
il y a 1 semaine
Université Paris-Saclay GS Informatique et sciences du numérique Gif-sur-Yvette, France**Raisonnement stratégique avec ressources en présence d'incertitude // Strategic Reasoning With Resources Under Uncertainty**: · - Réf · - **ABG-118279** · **ADUM-51410** · - Sujet de Thèse- 22/11/2023- Université Paris-Saclay GS Informatique et sciences du numérique- Lieu de tr ...
-
Doctorant (F/H) Doctorant(E) - Régularité de
il y a 1 semaine
Inria Palaiseau, France**Type de contrat **:CDD · **Niveau de diplôme exigé **:Bac + 5 ou équivalent · **Fonction **:Doctorant · **A propos du centre ou de la direction fonctionnelle**: · Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s'inscrit dans le développement du plateau ...
-
Responsable Service Clients-
il y a 1 semaine
Groupe Pomona Wissous, France**TerreAzur Ile de France Wissous** · TerreAzur (3000 personnes, CA 898 M€), notre réseau d'experts en fruits et légumes et produits de la mer frais recrute pour l'une de ses 18 directions régionales. · - Si comme nous, vous êtes :_ · - **_ · Passionné(e)_**_ par la relation comm ...
-
Responsable Service Clients
il y a 2 jours
TerreAzur Ile de France Wissous Wissous, FranceVous recherchez un nouveau challenge qui réponde à vos ambitions ? · Vous souhaitez intégrer une entreprise leader sur son marché en Ile de France ? · Vous êtes un(e) épicurien(ne) et appréciez l'univers agroalimentaire ? · Cette annonce vous est dédiée · Nous recherchons un(e) ...
-
Alternant Assistant Responsable Des Programmes
il y a 2 jours
BMW Group France Montigny-le-Bretonneux, France**Société**: · Filiale commerciale de BMW Group France, BMW France assure l'importation, la commercialisation et la promotion des véhicules, pièces de rechange et accessoires au travers de son réseau de concessionnaires exclusif. Au service des marques BMW, MINI, BMW i et BMW Mot ...
-
Alternant études Et Expériences Clients
il y a 2 jours
BMW Group France Montigny-le-Bretonneux, France**Société**: · Filiale commerciale de BMW Group France, BMW France assure l'importation, la commercialisation et la promotion des véhicules, pièces de rechange et accessoires au travers de son réseau de concessionnaires exclusif. Au service des marques BMW, MINI, BMW i et BMW Mot ...
-
Alternant Conseil de Gestion
il y a 2 jours
BMW Group France Montigny-le-Bretonneux, France**Société**: · Filiale commerciale de BMW Group France, BMW France assure l'importation, la commercialisation et la promotion des véhicules, pièces de rechange et accessoires au travers de son réseau de concessionnaires exclusif. Au service des marques BMW, MINI, BMW i et BMW Mot ...
-
Alternant études Et Expériences Clients
il y a 3 jours
BMW Montigny-le-Bretonneux, France**BMW GROUP EN FRANCE : QUI SOMMES-NOUS ?**: · Filiale commerciale de BMW Group France, BMW France assure l'importation, la commercialisation et la promotion des véhicules, pièces de rechange et accessoires au travers de son réseau de concessionnaires exclusif. Au service des mar ...
-
Coordinateur Projets Expérience Client Apv
il y a 1 semaine
BMW Group France Montigny-le-Bretonneux, France**Société**: · En tant qu'acteur majeur de l'industrie, de la distribution et du financement automobile, nous plaçons l'humain au cœur de notre organisation et réinventons chaque jour la mobilité de demain. Avec nos marques fortes (BMW, MINI, BMW Motorrad et BMW i), nous bénéfici ...
ALTERNANCE - Ingénieur méthodes formelles H/F - Les Ulis (91) - Les Ulis, Essonne, France - 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
