- D'assurer la traçabilité et la couverture des exigences du logiciel ainsi que la vérification des modèles formels réalisés ;
- De valider les preuves des règles mathématiques ;
- D'analyser des logiciels bas niveau et applicatifs sécuritaires ;
- D'identifier et analyser les non-conformités ;
- De suivre l'avancement et la planification des travaux auprès des sous-traitants
-
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 ...
-
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 ...
-
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 ...
-
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 9 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 ...
-
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 ...
-
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 ...
-
ALTERNANCE - Ingénieur méthodes formelles H/F - Les Ulis (91)
il y a 2 semaines
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 ...
-
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 ...
-
Assistant Recette Homologation
il y a 3 jours
Ogmios developpement Issy-les-Moulineaux, FranceDescriptif du poste · Missions et activités du poste: · 1. Assurer et évaluer les exigences utilisateurs, les spécifications et le modules · - Analyser des documents fonctionnels et techniques · 2. Participer à la stratégie et à la conception des tests · - Participer à la stratég ...
-
Lead Design loyalty
il y a 13 heures
AccorCorpo Issy-les-Moulineaux, Francede l'entreprise · **Bienvenue chez ACCOR, groupe hôtelier, leader dans le secteur de l'hospitalité.** · Nous sommes un écosystème de 40 marques dans 110 pays, de talents et de solutions, prêts à s'engager dans les possibilités infinies de l'avenir. Accor vous propose une nouvelle ...
-
Magasinier (H/F)
il y a 1 semaine
BMW Paris e, France**BMW GROUP EN FRANCE : QUI SOMMES-NOUS ?**: · **BMW Distribution, Filiale de BMW France, **vous invite à venir partager sa passion de l'automobile. · Retrouvez toute notre actualité sur notre page LinkedIn **:LinkedIn BMW Group France** · **CE QUE VOUS FEREZ AU QUOTIDIEN ?**: · ...
-
Conseiller Service Apres-vente Bmw
il y a 1 semaine
BMW Paris e, France**BMW GROUP EN FRANCE : QUI SOMMES-NOUS ?**: · BMW Distribution unique succursale de BMW Group France, est chargée de la commercialisation et de l'entretien des véhicules des marques BMW, MINI, et BMW i à Paris et en Ile-de-France. Engagés dans l'animation et le développement de ...
-
Conseiller Service
il y a 3 jours
BMW Paris e, France**BMW GROUP EN FRANCE : QUI SOMMES-NOUS ?**: · 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 M ...
-
Chef Adjoint Du Laboratoire Sécurité Du Logiciel
il y a 4 jours
ANSSI Paris e, France**Chef adjoint du Laboratoire Sécurité du Logiciel F/H**: · **Descriptif de l'organisation**: · Rejoindre l'Agence nationale de la sécurité des systèmes d'information (ANSSI), c'est mettre ses compétences au service de l'intérêt général en participant à une mission capitale, d'ac ...
-
Responsable équipement Senseur Rf
il y a 6 jours
MBDA France Le Plessis-Robinson, FranceRejoignez la direction **Engineering** qui soutient nos programmes dans la conduite des activités d'ingénierie et des essais, qui met en œuvre les méthodes d'optimisation de notre excellence technique et qui garantit un service optimal auprès de nos clients · Vous êtes intégré(e ...
-
Responsable équipement Senseur Rf
il y a 13 heures
Kicklox Le Plessis-Robinson, France**L'offre**: · **Secteurs** · Aéronautique · **Missions à réaliser** · MBDA est le seul groupe européen capable de concevoir et de produire des missiles et systèmes de missiles pour répondre à toute la gamme des besoins opérationnels présents et futurs des trois armées (terre, ma ...
-
Responsable équipement Senseur Rf
il y a 1 jour
MBDA Le Plessis-Robinson, FranceMBDA recrute: · MBDA est le seul groupe européen capable de concevoir et de produire des missiles et systèmes de missiles pour répondre à toute la gamme des besoins opérationnels présents et futurs des trois armées (terre, marine et air). · Partenaire européen et acteur mondial, ...
Ingénieur Validation Méthode Formelle - Boulogne-Billancourt, France - Alten
Description
Description 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 traduire sous la forme d'un modèle formel, prouver ce modèle et générer à partir de ce dernier les applications sécuritaires.
Les tâches principales seront :
Qualifications
Diplômé(e) d'une école d'ingénieurs ou d'une équivalence (Bac+5), vous possédez au minimum une première expérience dans le domaine de la sûreté logicielle ou dans l'utilisation et l'application de la méthode formelle, idéalement dans le secteur ferroviaire.
La connaissance de la méthode B est un plus, un niveau d'anglais opérationnel est requis.
Proactif(ve) et doté(e) d'une grande autonomie, vous souhaitez acquérir de nouvelles compétences,
Informations supplémentaires
Le secteur ferroviaire vous attire ? Vous êtes une personne rigoureuse avec une forte capacité d'adaptation ? Travailler dans un environnement exigeant mais stimulant ne vous fait pas peur ? Vous souhaitez bénéficier de formation sur le terrain, monter en compétences et participer à la réalisation d'un projet ambitieux alors embarquez pour l'aventure