Si vous partagez nos valeurs (engagement au résultat, respect des clients et des collaborateurs, écoute, innovation, esprit d'équipe), envoyez votre CV et lettre de motivation à :

Nous travaillons soit chez nos clients, au sein de leurs équipes, en Assistance Technique, soit dans les locaux de SafeRiver, sur notre "plateau" pour les prestations forfaitaires, et pour des projets de R&D internes visant à améliorer nos outils. SafeRiver se veut à l'écoute de ses consultants et offre une variété de missions, en externe et en interne.

Compétences recherchées :

  • Modélisation et vérification de modèles (SIMULINK, SCADE, Prover).
  • Connaissance des langages C, C++, ADA, JAVA, OCaml
  • Connaissance des méthodes et langages formels (Lustre, B, HDL)
  • Expérience du domaine ferroviaire (CBTC, ERTMS, IXL), automobile (AUTOSAR) ou de la cyber-sécurité (arbres de dépendance, scénarios d'attaque...)
  • Connaissance des normes ISO 26262, EN50128 et DO178B-C, MISRA, SIL.
  • Expérience des méthodes de « sûreté de fonctionnement » : analyses de risque (FHA, arbres de fautes, AMDEC, analyses statiques de code...)
  • Connaissance d'outils d'analyse statique (Polyspace, QAC, Klocwork...) et d'outils de test (RTRT...)

En particulier, nous recherchons les profils décrits par les deux fiches de postes suivantes: