- Accueil France Travail
- Emploi
- Informatique et télécoms
- Testeur
- Hauts-de-Seine
- Boulogne-Billancourt
- Détail de l'offre 5277706
Ingénieur Validation Méthode Formelle H/F 92 - BOULOGNE BILLANCOURT
Offre n° 5277706
Ingénieur Validation Méthode Formelle H/F
92 - BOULOGNE BILLANCOURT - Localiser avec Mappy
Actualisé le 27 avril 2024
POSTE : Ingénieur Validation Méthode Formelle H/F DESCRIPTION : 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 : - 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 PROFIL : 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 !
- Type de contrat
-
Contrat à durée indéterminée
Contrat travail
Profil souhaité
Expérience
- Expérience exigéeCette expérience est indispensable
Informations complémentaires
- Qualification : Cadre
- Secteur d'activité : Conseil en systèmes et logiciels informatiques
Entreprise
Alten Ingénieur
Qui sommes-nous ? Partenaire technologique de référence des plus grandes entreprises françaises et internationales, ALTEN est devenu en 30 ans une entreprise d'envergure dans l'Ingénierie et le Conseil en Technologies (Près de 55.000 collaborateurs dont 90% d'ingénieurs ainsi qu'une implantation du Groupe dans plus de 30 pays). Rejoindre ALTEN, c'est la promesse de participer, en France comme à l'International, aux projets technologiques les plus innovants. Label...
D'autres offres peuvent vous intéresser :
- (déjà vu)
Développeur / Développeuse full-stack - React/ Java (H/F)
UPPLI - 75 - PARIS 08
Au sein de la practice ITS (Innovation & Technology services) d Uppli, le consultant développeur fullstack est un consultant technique spécialisé dans la réalisation et l évolution en mode agile d...
CDI - Temps plein
Publié hier
CDI
Temps plein - (déjà vu)
Développeur C/C++ (H/F)
ADENTIS - 92 - BOULOGNE BILLANCOURT
ADENTIS recherche ses futur(e)s ingénier(e)s développeurs logiciels embarqués sur l'Ile-de-France ainsi que sur Toulouse, Grenoble, et Rennes pour assurer le développement, la mise au point et...
CDI - Temps plein
Publié il y a 22 jours
CDI
Temps plein - (déjà vu)
Développeur / Développeuse full-stack
OUIWIN - 75 - PARIS 16
Nous intervenons sur des projets à forte valeur ajoutée et sur un périmètre exclusivement grands comptes. Nous travaillons avec des groupes industriels, des acteurs majeurs du E-commerce, de la santé...
CDI - Temps plein
Publié il y a 22 jours
CDI
Temps plein - (déjà vu)
Développeur-se PHP / Symfony (H/F)
INRAE - Odalim - 91 - PALAISEAU
La personne recrutée sera accueillie par l'unité mixte de recherche INRAE - AgroParisTech Paris-Saclay Applied Economics localisée à Palaiseau et spécialisée dans l'analyse économique de...
CDD - Temps plein
Publié il y a 29 jours
CDD
Temps plein - (déjà vu)
Data Analytics Engineer (H/F)
DCUBE - 92 - BOULOGNE BILLANCOURT
La Data, c'est votre dada, vous êtes câblé(e) comme ça : vous aimez collecter et traiter des données pour les mettre à disposition des autres. En tant que Data Analytics Engineer, vous serez...
CDI - Temps plein
Publié il y a 10 jours
CDI
Temps plein - (déjà vu)
Ingénieur C# - Informatique Industrielle (H/F)
APPROACH PEOPLE RECRUITMENT - 91 - EVRY COURCOURONNES
Vous êtes polyvalent et souhaitez partager votre expertise métier ? Intégrer un intégrateur de logiciel et travailler avec des grands comptes français industriels vous a toujours fait envie ? Afin...
CDI - Temps plein
Publié il y a 22 jours
CDI
Temps plein - (déjà vu)
Developpeur PHP H/F (H/F)
INT COMMUNICATIONS DATA NETWORKS - 92 - MEUDON LA FORET
Nous sommes à la recherche d'un développeur PHP talentueux pour rejoindre notre équipe dynamique. En tant que développeur PHP, vous serez responsable de la conception, du développement et de la...
CDI - Temps plein
Publié hier
CDI
Temps plein - (déjà vu)
Développeur / Développeuse informatique C#, WPF (H/F)
91 - LISSES
Notre société spécialisée dans l'éditique et le marketing est à la recherche de son développeur ou développeuse C#. Au sein d'un groupe notre société a réussi à se faire une place sur le marché dans...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Ingénieur/ ingénieure d'études et développement JAVA J2EE (H/F)
CRISTAL SOLUTIONS - 78 - CONFLANS STE HONORINE
Descriptif du poste CRISTAL Solutions est une Société de conseil en nouvelles technologies. Depuis 2014, CRISTAL Solutions intervient sur les métiers du développement logiciel, du pilotage de projet...
CDI - Temps plein
Publié il y a 11 jours
CDI
Temps plein - (déjà vu)
Développeur Full Stack .NET Core/Javascript (H/F)
ABIL RESSOURCES - 75 - PARIS 02
Nous recherchons actuellement un Développeur.NET Core/Javascript pour un poste en CDI chez un client final secteur voyage basé du côté de Paris 2ème. Au sein d'une équipe projet, l'équipe agit...
CDI - Temps plein
Publié il y a 22 jours
CDI
Temps plein
Découvrez d'autres services web
Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.
B.A.BA Entretien
Apprenez à préparer votre prochain entretien.
Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.
Simulateurs d'aides et allocations en cas de reprise d'emploi
Estimez vos futures ressources financières sur les 6 prochains mois.
- Voir plus de services (Emploi store)