- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Les Ulis
- Détail de l'offre 5487691
- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Les Ulis
- Détail de l'offre 5487691
Ingénieur preuves formelles F/H - Informatique de gestion (H/F) 91 - LES ULIS
Offre n° 5487691
Ingénieur preuves formelles F/H - Informatique de gestion (H/F)
91 - LES ULIS - Localiser avec Mappy
Publié le 08 octobre 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)
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 12 jours
CDD
Temps plein - (déjà vu)
Développeur C++ (H/F)
TESSELATE FRANCE - 75 - PARIS 08
Nous sommes à la recherche d'un Développeur C++ sur Paris : Missions : Rédiger les spécifications techniques des projets Appliquer les bonnes pratiques du développement logiciel Développer de...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Développeur / Développeuse C# (H/F)
TESSELATE FRANCE - 75 - PARIS 08
Nous sommes à la recherche d'un Développeur C# sur Paris : Missions : - Rédaction les spécifications techniques - Respecter les bonnes pratiques du développement logiciel - Développement de nouveaux...
CDI - Temps plein
Publié il y a 12 jours
CDI
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 12 jours
CDD
Temps plein - (déjà vu)
Ingénieur informaticien / Ingénieure informaticienne (H/F)
ATOS - 95 - BEZONS
Atos est un leader international de la transformation digitale avec plus de 110 000 collaborateurs dans 73 pays et un chiffre d'affaires annuel de plus de 11 milliards d'euros. Numéro un européen du...
CDI - Non renseigné
Publié il y a 6 jours
CDI
Non renseigné - (déjà vu)
QA Technico-Fonctionnel en Automatisation Monétique (IT) / Freelance (H/F)
92 - COURBEVOIE
Élaboration des recettes fonctionnelles : Analyser les spécifications, identifier le périmètre de test, concevoir les tests, élaborer des plans de test et des cahiers de recette fonctionnelle en...
Profession libérale - Non renseigné
Publié hier
Profession libérale
Non renseigné - (déjà vu)
Chargé de mission valorisation 16 mois (H/F)
ONERA - 91 - PALAISEAU
En lien avec la Direction Scientifique Générale, vous prenez en charge la valorisation du potentiel technique à travers des services proposés aux entreprises de la région Nouvelle-Aquitaine, dans le...
CDD - Non renseigné
Publié il y a 3 jours
CDD
Non renseigné - (déjà vu)
Développeur / Développeuse web (H/F)
OCSI - 75 - PARIS 01
Rejoignez l'équipe dynamique de en tant que chez ! Effectivement, nous recherchons pour une embauche sur profil un développeur expert (F/H) pour 2025 Pourquoi une embauche sur profil ? Car nos...
CDI - Non renseigné
Publié il y a 6 jours
CDI
Non renseigné - (déjà vu)
Développeur Fullstack (H/F)
KLANIK - 75 - PARIS 02
KLANIK est une société de conseil en Ingénierie IT qui accompagne ses clients dans leurs projets digitaux et technologiques. Le groupe KLANIK compte désormais plus de 750 talents, évoluant dans 16...
CDI - Non renseigné
Publié il y a 5 jours
CDI
Non renseigné - (déjà vu)
Développeur / Développeuse web (H/F)
Groupe Aptenia - 75 - PARIS 01
Concevoir et développer des applications web interactives et performantes en utilisant Angular pour le front-end et Django pour le back-end. Intégrer des solutions d?intelligence artificielle,...
Profession libérale - Non renseigné
Publié il y a 6 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)