-
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 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 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 ...
-
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 ...
-
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 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 ...
-
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 ...
-
Asset Manager Automobile
il y a 3 jours
BNP Paribas Levallois-Perret, France**Asset Manager Automobile - H/F** · **Missions, équipe et environnement de travail, ça donne quoi ?** · - Au sein de Personal Finance et au cœur de la Direction du Marché de l'Automobile France, vous serez un élément clé de l'équipe en tant que responsable du cadrage des Valeurs ...
-
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 ...
-
Business Developer
il y a 1 semaine
WallBreaker Paris e, France**Entreprise** · Dessin & Entreprise accompagne les organisations de toutes tailles dans la transition, les transformations et la conduite du changement grâce à une méthode éprouvée depuis 20 ans, fondée sur le dessin. · Cette méthode originale et accessible a pour but d'agir de ...
-
Verification Engineer
il y a 1 semaine
NovaSparks Paris, FranceNovasparks est le leader mondial du traitement de données boursières à base de FPGA. Nous · fournissons, dans le monde entier, nos produits à des grandes banques et à des sociétés spécialisées · dans le trading. Les solutions Novasparks sont utilisées dans des domaines de pointe ...
-
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 ...
-
Actuaire Epargne Méthodes Et Stratégie S2 Ifrs17
il y a 1 semaine
BNP Paribas Nanterre, France**Actuaire Epargne Méthodes et Stratégie S2 IFRS17 - H/F** · Soyez acteur de la stratégie IFRS 17 & S2 au sein de BNP Paribas Cardif · IFRS17 #épargne #stratégie #modèles #corporate · **SUR LE TERRAIN, ÇA DONNE QUOI ?**: · Votre mission s'articulera autour de la production des i ...
-
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 ...
-
Ie en Production, Traitement, Analyse de Données
il y a 3 jours
CNRS Paris e, FranceDate Limite Candidature : mardi 21 novembre 2023 · **Informations générales**: · **Intitulé de l'offre **:IE en production, traitement, analyse de données et enquêtes H/F** · Référence : UAR2506-CLAVAN-002 · Nombre de Postes : 1 · Lieu de travail : PARIS 06 · Date de publication ...
Ingénieur Méthodes Formelles H/F - Levallois-Perret, France - IKOS GROUP
Description
Quelles 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'analyse logicielle sur différents lots.
Vous serez amené à :
- Déployer un environnement de preuve sur UNIX et EMACS
- Réaliser les preuves par l'utilisation de scripts et en analyser les résultats
- Communiquer avec les équipes techniques et les clients
- Suivi des différents environnements de preuves
- Rédaction de la documentation
- Prendre connaissances des cahiers de spécification et dossiers techniques
Outils : UNIX, EMCAS, BASH, code HLL, EXCEL, CVS
Quel est le profil idéal ?
Ce poste est fait pour vous :
Diplômé.e d'une école d'ingénieur ou équivalent, vous justifiez d'une première expérience dans le domaine de la validation de logiciels de sécurité ou dans la programmation temps-réel. Une connaissance de la norme EN 50128 : 2011, est un plus.
Vous êtes autonome et vous avez une bonne maîtrise de l'anglais.
Conformément à la règlementation, tous nos postes sont ouverts au recrutement de travailleurs handicapés.
Qui a publié cette offre ?
IKOS 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énieurs réalisent des projets avec le support de notre entité IKOS LAB qui pilote également nos programmes de recherches et de formations. IKOS a eu un très fort développement à travers le monde. Le Groupe compte actuellement 25 bureaux dans 13 pays (France, Espagne, Belgique, Allemagne, Suisse, Suède, Italie, Angleterre, Etats-Unis, Canada, Maroc, Portugal et Israël).