Ingénieur Logiciel Méthodes formelles h/f 92 - CHATILLON
Offre n° 4414571
Ingénieur Logiciel Méthodes formelles h/f
92 - CHATILLON - Localiser avec Mappy
Publié le 01 avril 2025
Rejoignez Siemens Mobility pour innover dans le domaine des transports intelligents ! Dici 2050, 70% de la population mondiale habitera en ville. Comment garantir lefficacité et la sécurité du trafic ferroviaire ? Chez Siemens Mobility, nous développons des systèmes de transport dernier cri, tels que les automatismes de conduite et les trains de nouvelle génération, pour rendre les déplacements plus intelligents. Orlyval, Cityval de Rennes, ligne 14 du métro parisien : la mobilité connectée est déjà dans votre vie. Et si vous releviez le défi de la mobilité connectée avec nous ? Venez faire preuve dingéniosité à nos côtés et donner un nouveau sens à votre carrière ! Vos missions Intégré au Département logiciel de la Direction Recherche & D éveloppement, vous jouez un rôle central dans la réussite de nos projets de métros automatisés, déployés en France et à linternational. À ce titre, vous : * Prenez en charge le développement et la validation des systèmes basés sur des méthodes formelles, pour les équipements Bord et Sol, dans le respect de la norme EN 50128 et des processus de développement mis en place par lentreprise. * Participez à la spécification, la conception, le codage et les tests des évolutions logicielles, avec un focus particulier sur l'utilisation des méthodes formelles telles que la méthode B pour garantir la sûreté de fonctionnement. * Êtes responsable de la maîtrise des objectifs Qualité, Coûts et Délais de vos développements, et contribuez activement au reporting agile de votre équipe. Poste en CDI cadre, basé à Châtillon. Vos atouts pour réussir * Diplômé dune école dingénieurs ou équivalent, vous justifiez dune expérience professionnelle dau moins deux ans sur un poste similaire, idéalement dans un environnement industriel fortement normé. * Vous possédez des compétences en méthodes formelles, comme la méthode B, et en langages de programmation associés comme ADA. * Une maîtrise de l'anglais est indispensable pour interagir avec nos équipes internationales. Pourquoi nous rejoindre Rejoindre Siemens Mobility, cest sengager dans un projet davenir, dessiner lindustrie de demain avec des technologies de pointe et une innovation constante. Cest aussi loccasion de jouer un rôle clé dans ce développement, avec un parcours de carrière diversifié qui vous permet de devenir un expert-métier ou de progresser vers des postes de management. Pour en savoir plus sur la division Mobility : Siemens recrute et reconnaît tous les talents.
- Type de contrat
-
Contrat à durée indéterminée
Contrat travail
Profil souhaité
Expérience
- Débutant accepté
Informations complémentaires
- Qualification : Cadre
D'autres offres peuvent vous intéresser :
(déjà vu)
Mesure POEI : Analyste développeur / Analyste développeuse
94 - Charenton-le-Pont
Cette offre concerne une mesure POEI
CDI - Temps plein
Publié aujourd'hui
CDI
Temps plein(déjà vu)
Développeur Full Stack (H/F)
SNYPE - 75 - PARIS 17
Nous sommes un éditeur de solutions BigData spécialisé dans les domaines Telecom et Fintech. Nos solutions sont déployées au sein des opérateurs télécoms, des banques et des régulateurs. Nous...
CDI - Temps plein
Publié il y a 9 jours
CDI
Temps plein(déjà vu)
Analyste Cybersécurité (H/F)
COMPAGNIE DE SAINT-GOBAIN - 92 - Courbevoie
Pourquoi a-t-on besoin de vous Au sein de l'équipe REACT du CyberSOC, l'Analyste Cybersécurité participera à l'identification et à la gestion des incidents de cybersécurité et au suivi des actions...
CDI - Temps plein
Publié il y a 8 jours
CDI
Temps plein(déjà vu)
Alternance - Suivi des Processus du Service Informatique (H/F)
BASF FRANCE SAS - 75 - PARIS 02
VOS PRINCIPALES RESPONSABILITES Gérer le parc de lignes téléphoniques mobiles via l'outil du prestataire en adaptant le forfait au profil et à la consommation de l'utilisateur ; créer de nouvelles...
CDD - Temps plein
Publié il y a 12 jours
CDD
Temps plein(déjà vu)
Analyste CERT H/F (H/F)
CYCLAD FRANCE - 75 - Paris 15e Arrondissement
NOTRE CLIENT Un leader mondial, responsable et multiculturel, regroupant près de 350 000 personnes dans plus de 50 pays. Fort de 55 ans d'expérience, il est un partenaire stratégique des entreprises...
CDI - Temps plein
Publié il y a 13 jours
CDI
Temps plein(déjà vu)
Analyste Cybersécurité (h/f)
IZIWORK - 92 - Malakoff
À propos de la mission Nous recherchons un Analyste SOC (Security Operations Center) expérimenté pour renforcer notre équipe de cybersécurité pour un ministère à la Défense. Le candidat idéal...
CDI - Temps plein
Publié il y a 19 jours Soyez parmi les 1ers à postuler
CDI
Temps plein(déjà vu)
Developpeur python odoo (H/F)
IVS PRO - 75 - PARIS 11
Cherche développeur python avec si possible connaissance de l'erp ODOO Mise en place d'un serveur avec l'erp solution Odoo et interconnexion avec de multiples api -gestion des backups -mise en place...
CDD - Temps plein
Publié il y a 4 jours
CDD
Temps plein(déjà vu)
Ingénieur Safety fonctionnelle (H/F)
OneSide Technologies - 92 - LEVALLOIS PERRET
Depuis sa création en 2018, OneSide Technologies s'est établi en tant qu'acteur dans le domaine du conseil en ingénierie et de l'expertise dans les secteurs de la mobilité terrestre, du médical, de...
CDI - Non renseigné
Publié il y a 14 jours
CDI
Non renseigné(déjà vu)
Architecte Fonctionnel Si - Data H/F
Scalian - 92 - NEUILLY SUR SEINE
POSTE : Architecte Fonctionnel Si - Data H/F DESCRIPTION : Localisation : 92 Durée : 3 ans Secteur : Assurance Expérience : 7 ans minimum À propos de la mission : Dans un environnement...
CDI - Non renseigné
Publié il y a 6 jours
CDI
Non renseigné(déjà vu)
Test Analyst Gestion d'actifs F/H - Informatique de gestion (H/F)
BIA CONSULTING - 75 - PARIS 08
Descriptif du poste: Au sein d'une Equipe Test en charge de la recette fonctionnelle liée aux projets de montée de version d'un outil de Gestion d'actifs, nous recherchons un Test Analyst pour...
CDI - Non renseigné
Publié il y a 15 jours
CDI
Non renseigné
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)