- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Les Ulis
- Détail de l'offre 7484731
- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Les Ulis
- Détail de l'offre 7484731
Ingénieur preuves formelles F/H - Informatique de gestion (H/F) 91 - LES ULIS
Offre n° 7484731
Ingénieur preuves formelles F/H - Informatique de gestion (H/F)
91 - LES ULIS - Localiser avec Mappy
Publié le 13 novembre 2024
Descriptif du poste: Compagnie des Signaux renforce ses équipes et recrute un Ingénieur preuves formelles H/F en CDI, pour son site des Ulis (91), siège social, ou à Riom (Clermont-Ferrand). Vous êtes chargé de démontrer par l'utilisation des méthodes formelles la sécurité d'un logiciel de signalisation ferroviaire. Vos principales missions incluent : * Piloter le lot assigné, sur un projet déterminé en respectant les impératifs de qualité coût et délais * Analyser les contraintes de sécurité du projet et les modéliser en utilisant les méthodes formelles * Collaborer avec les équipes de développement, d'étude, de sécurité au cours des différentes phases du projet * Participer à l'écriture des scripts de preuves formelles dans un langage de développement dédié * Rédiger le catalogue de preuves et exécuter les campagnes de preuves formelles conformément aux règles de l'art et aux normes en vigueur * Donner l'assurance à la fin des essais que le fonctionnement et les caractéristiques des installations visées par les essais sont conformes aux principes de sécurité qui les définissent Modalités de travail : * Temps complet * Télétravail partiel possible (jusqu'à 2 jours par semaine) Localisation du poste : * Les Ulis, 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) OU * Riom, près de Clermont-Ferrand, au cœur de la Zone d'Activité Portes de Riom Sud Accès facilité : * En voiture depuis l'autoroute A71/A72 et la N9 * En train depuis la gare Riom - Châtel-Guyon Profil recherché: De formation Bac+5, vous êtes diplômé d'une école d'ingénieur ou d'université, ou vous possédez des connaissances ou une expérience équivalente. Ce poste requiert : * Un minimum de 3 ans d'expérience en méthodes formelles * De réelles compétences dans les moteurs de preuves formelles * La connaissance de la signalisation ferroviaire serait un plus * Connaissances de la méthode B, du langage HLL, des environnements de développement SCADE * Un niveau de français et d'anglais, courant et technique, qui vous permet d'évoluer aisément dans notre environnement international et multiculturel Cependant, si l'un ou plusieurs de ces critères vous manquent, tentez votre chance malgré tout ! Nous avons à cœur d'étudier tout profil intéressant, même si celui-ci sort un peu du cadre.
- Type de contrat
-
Contrat à durée indéterminée
Contrat travail - Salaire
- Salaire brut : A négocier
Profil souhaité
Expérience
- Expérience exigée de 3 An(s)Cette expérience est indispensable
Informations complémentaires
- Qualification : Cadre
- Secteur d'activité : Fabrication d'autres matériels électriques
Entreprise
Compagnie des Signaux
Compagnie des Signaux, société du Groupe MERMEC, est un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions innovantes et durables dans les domaines de la signalisation, de l'exploitation, du service et de la maintenance, ainsi que de la technologie numérique et des systèmes clé en main. Le Groupe MERMEC est présent dans 21 pays et compte plus de 3 000 employés dans le monde. Compagnie des Signaux est présente en France et emploi...
D'autres offres peuvent vous intéresser :
- (déjà vu)
Ingénieur électronique hardware H/F
CIBEST GROUP - 78 - ELANCOURT
Rattaché(e) à notre Responsable Bureau d'études, vos missions sont les suivantes : - Gérer intégralement des projets de conception de cartes électroniques : création du modèle, prototypage - Réaliser...
CDI - Temps plein
Publié aujourd'hui
CDI
Temps plein - (déjà vu)
Webdesigner (H/F)
FUTUR - 75 - PARIS 13
Tu adores l'informatique et créer des sites web tout en ayant des compétences en graphisme ? Alors postule à cette offre ! Les missions : - Création de sites web pour l'association - Maintenance...
CDD - Temps plein
Publié il y a 7 jours
CDD
Temps plein - (déjà vu)
Développeur No-code / Product builder (Visual programming) (H/F)
ALEGRIA.TECH - 75 - Paris (Dept.)
POSTE A POURVOIR DANS LE CADRE D'UNE INSCRIPTION POUR LA FORMATION EN ALTERNANCE DE L'ALEGRIA.ACADEMY (voir notre site pour plus d'informations : https://www.alegria.group/academy) ##Description...
CDD - Temps plein
Publié il y a 20 jours
CDD
Temps plein - (déjà vu)
Développeur No-code / Product Builder (Automation) (H/F)
ALEGRIA.ACADEMY - 75 - PARIS 09
POSTE A POURVOIR DANS LE CADRE D'UNE INSCRIPTION POUR LA FORMATION EN ALTERNANCE DE L'ALEGRIA.ACADEMY (voir notre site pour plus d'informations) ##Description de l'entreprise L'Alegria.academy est...
CDD - Temps plein
Publié il y a 20 jours
CDD
Temps plein - (déjà vu)
QA Junior SALESFORCE (H/F)
BALKING - 92 - CLAMART
Vous êtes passionné(e) par la qualité logicielle et cherchez à démarrer votre carrière dans une entreprise dynamique ? Rejoignez Balking, une société de services informatiques en pleine croissance,...
CDD - Temps partiel
Publié il y a 2 jours
CDD
Temps partiel - (déjà vu)
Développeur / Développeuse web (H/F)
Happy Hire - 75 - PARIS 01
Je suis en accompagnement avec une start-up parisienne à la recherche d'un développeur mobile front-end. Nous recherchons un développeur mobile senior pour une mission de 6 mois au sein d?une...
Profession libérale - Non renseigné
Publié il y a 14 jours
Profession libérale
Non renseigné - (déjà vu)
Ingénieur support production et applicatif H/F
Talents IT - 75 - PARIS 01
L'équipe Talents IT s'engage à être réactive et présente pour répondre à vos demandes. Nos consultants ont pour vocation de vous accompagner dans la recherche de vos futurs experts IT, en CDI et en...
CDI - Non renseigné
Publié il y a 20 jours
CDI
Non renseigné - (déjà vu)
Alternance Développeur Full Stack - Paris (H/F)
ISCOD - 75 - PARIS 14
Description : L'ISCOD, spécialiste de la formation en Digital Learning, recherche pour son entreprise partenaire, une holding financière d'investissement, un Développeur FullStack F/H, pour préparer...
CDD - Non renseigné
Publié il y a 15 jours
CDD
Non renseigné - (déjà vu)
Développeur / Développeuse web (H/F)
Digistrat consulting - 75 - PARIS 01
? Secteurs stratégiques : Banque de détail ? Démarrage : ASAP ? Contexte /Objectifs : La prestation consiste à contribuer à/au(x) : Contribution à couvrir les aspects de design d'architecture d'un...
CDI - Non renseigné
Publié il y a 5 jours
CDI
Non renseigné - (déjà vu)
Développeur / Développeuse web (H/F)
Cherry Pick - 75 - PARIS 01
Recherche d'un consultant possédant des compétences avancées en développement React JS TypeScript. Nous recherchons un professionnel hautement qualifié, autonome et expérimenté pour rejoindre notre...
Profession libérale - Non renseigné
Publié il y a 21 jours
Profession libérale
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)