Rechercher
Ingénieur-e d’études et d’application spécialiste en Méthodes formelles (F/H)
SafeRiver ( www.saferiver.org ) est une société d’expertise reconnue dans les domaines de la sûreté de fonctionnement, la safety et la cyber-sécurité des systèmes embarqués critiques et de leurs interactions avec les infrastructures.
Ses clients sont des opérateurs de systèmes de transport (RATP, SBB), des industriels des domaines du ferroviaire (Hitachi Rail, Thalès, TheSignallingCompany), de l’automobile (Renault SA, Veoneer) ou des clients du domaine gouvernemental et Défense (ANSSI, DGA).
SafeRiver a développé un ensemble de services à forte valeur ajoutée dans le domaine de la Sécurité et Cyber Sécurité des systèmes embarqués en se fondant sur la mise en oeuvre de méthodes et outils de vérification formelle, ce qui permet de répondre aux exigences de niveau d’assurance élevé.
Afin de renforcer et développer notre activité, nous recherchons des personnes motivées ayant une formation initiale en informatique fondamentale (sémantique des langages, compilation, langages formels) et de niveau bac+5 ou plus, et souhaitant acquérir une maîtrise des métiers liés à la Vérification et Validation de Systèmes, et une expertise en Sûreté de Fonctionnement, Sécurité Fonctionnelle ou Cyber Sécurité.
Compétences techniques souhaitées pour le poste :
▪ Langages de modélisation de systèmes, avec si possible une connaissance des langages formels de description de ces systèmes (HLL, SDL, Lustre, B,etc.)
▪ Méthodes de vérification formelle de modèles (e.g. model checking, preuve)
▪ Analyse statique de code (interprétation abstraite, exécution symbolique)
Les compétences Métier que vous pourrez développer en Sûreté de Fonctionnement- Sécurité Fonctionnelle et CyberSécurité sont des compétences recherchées.
Enfin, SafeRiver a mis en place des conditions de travail flexibles (télétravail) afin de combiner travail en équipe et prise en compte des contraintes courantes, notamment de déplacement.
Les postes sont ouverts à différents niveaux d’expérience professionnelle : débutants, 2 à 5 ans d’expérience.
Ses clients sont des opérateurs de systèmes de transport (RATP, SBB), des industriels des domaines du ferroviaire (Hitachi Rail, Thalès, TheSignallingCompany), de l’automobile (Renault SA, Veoneer) ou des clients du domaine gouvernemental et Défense (ANSSI, DGA).
SafeRiver a développé un ensemble de services à forte valeur ajoutée dans le domaine de la Sécurité et Cyber Sécurité des systèmes embarqués en se fondant sur la mise en oeuvre de méthodes et outils de vérification formelle, ce qui permet de répondre aux exigences de niveau d’assurance élevé.
Afin de renforcer et développer notre activité, nous recherchons des personnes motivées ayant une formation initiale en informatique fondamentale (sémantique des langages, compilation, langages formels) et de niveau bac+5 ou plus, et souhaitant acquérir une maîtrise des métiers liés à la Vérification et Validation de Systèmes, et une expertise en Sûreté de Fonctionnement, Sécurité Fonctionnelle ou Cyber Sécurité.
Compétences techniques souhaitées pour le poste :
▪ Langages de modélisation de systèmes, avec si possible une connaissance des langages formels de description de ces systèmes (HLL, SDL, Lustre, B,etc.)
▪ Méthodes de vérification formelle de modèles (e.g. model checking, preuve)
▪ Analyse statique de code (interprétation abstraite, exécution symbolique)
Les compétences Métier que vous pourrez développer en Sûreté de Fonctionnement- Sécurité Fonctionnelle et CyberSécurité sont des compétences recherchées.
Enfin, SafeRiver a mis en place des conditions de travail flexibles (télétravail) afin de combiner travail en équipe et prise en compte des contraintes courantes, notamment de déplacement.
Les postes sont ouverts à différents niveaux d’expérience professionnelle : débutants, 2 à 5 ans d’expérience.
Publiée le 27/01/2025
