- 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)
Développeur / Développeuse web (H/F)
INSYCO - 75 - PARIS 01
Nous recherchons pour notre client grand compte un développeur front js/Svelte (secteur Médias). Nous étudions prioritairement les candidatures qui nous sont adressées par MAIL à l?adresse [freelance...
Profession libérale - Non renseigné
Publié il y a 6 jours
Profession libérale
Non renseigné - (déjà vu)
Architecte Applicatif et Fonctionnel (H/F)
93 - MONTREUIL
Pourquoi rejoindre BNP Paribas ? Notre monde change : notre manière de nous informer, de consommer et de travailler aussi ! Aujourd'hui, ce qui compte dans un job, c'est de vivre de véritables...
CDI - Non renseigné
Publié il y a 7 jours
CDI
Non renseigné - (déjà vu)
Ingénieur informaticien / Ingénieure informaticienne (H/F)
LA HOME SWEET COMPANY - 75 - PARIS 01
Description du poste : Nous recherchons un Consultant QA Fonctionnel pour rejoindre une équipe remplie de spécialiste en testing IT et intervenir sur des projets en environnement agile. Le candidat...
CDI - Non renseigné
Publié il y a 6 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éjà vu)
Expert·e Stockage NetApp (H/F)
Blue Soft - 75 - PARIS 01
Pour le compte de l'un de nos clients du CAC 40, nous recherchons un·e Ingénieur.e Stockage expert·e de la solution NetApp ! Rattaché·e à la Direction technique de la BU Cloud & Infrastructure...
CDI - Non renseigné
Publié il y a 7 jours
CDI
Non renseigné - (déjà vu)
Ingénieur informaticien / Ingénieure informaticienne (H/F)
Mindquest - 75 - PARIS 01
Pour reprendre et améliorer un modèle de catégorisation développé en python, notre client recherche un profil d'Ingénieur IA H/F - 75 Vos missions en tant que tel: * Comprendre le modèle existant et...
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)