- 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
Actualisé le 21 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é il y a 7 jours
CDI
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 27 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 27 jours
CDD
Temps plein - (déjà vu)
Consultant Qualité Logicielle (H/F)
ALDEMIA - 92 - LEVALLOIS PERRET
En tant que Consultant qualité logicielle (H/F) vous participez au quotidien à la conception et au perfectionnement des applications de votre client final. A la recherche de nouveaux challenges, vous...
CDI - Temps plein
Publié hier
CDI
Temps plein - (déjà vu)
Développeur / Développeuse web (H/F)
Kaïbee - 75 - PARIS 01
PAS DE SOUS-TRAITANCE // MERCI Nous recherchons un Développeur Senior .NET / React pour une mission passionnante et stratégique. Vous rejoindrez une équipe dynamique et contribuerez à des projets...
Profession libérale - Non renseigné
Publié il y a 28 jours
Profession libérale
Non renseigné - (déjà vu)
Ingénieur r&d linux embarqué junior - h/f
75 - PARIS 15
Description Lingénieur(e) R& D Linux embarqué rejoindra léquipe Répéteur / Wi-Fi. En tant quIngénieur(e) R& D et en collaboration avec ton équipe, tu implémentes de nouvelles fonctionnalités, fais...
CDI - Non renseigné
Publié il y a 5 jours
CDI
Non renseigné - (déjà vu)
Ingénieur NetOps F/H - Informatique de gestion (H/F)
Eays-Consulting - 92 - BOURG LA REINE
Descriptif du poste: Responsabilités: - Participer au débogage des flux pour identifier et résoudre les problèmes des clients. - Développer des scripts en Python pour migrer des expositions de...
CDI - Non renseigné
Publié il y a 17 jours
CDI
Non renseigné - (déjà vu)
Architecte junior H/F
93 - NOISY LE GRAND
Mutuaide, filiale du Groupe Groupama, accompagne ses clients depuis plus de 40 ans en déployant des solutions adaptées pour répondre aux aléas des assurés (dépannage, rapatriement, mise en place de...
CDI - Non renseigné
Publié il y a 26 jours
CDI
Non renseigné - (déjà vu)
Concepteur développeur Sharepoint (H/F)
75 - PARIS 09
Description du poste : LHH Recruitment Solutions, cabinet de conseil en recrutement, travail temporaire spécialisé, gestion de transition et évaluation d'experts, cadres et dirigeants recherche pour...
CDI - Non renseigné
Publié il y a 5 jours
CDI
Non renseigné - (déjà vu)
Ingénieur mainframe z/OS - H/F
Seyos - 94 - FONTENAY SOUS BOIS
Depuis 1978, notre client final, filiale technologique d'un grand groupe français dans le secteur bancaire, joue un rôle clé en concevant, réalisant, maintenant et exploitant l'ensemble du système...
CDI - Non renseigné
Publié il y a 7 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)