Ingénieur sécurité ferroviaire - vérification formelle
Institut de Recherche Technologique Railenium recherche des profils Ingénieur sécurité ferroviaire - vérification formelle dans le domaine Vérification formelle des spécifications embarquées. Technologies clés détectées : Uppaal, Gnss, Satellite, Analyse d'arbre de défaillance, En50126. Stack complet identifié : Uppaal, Gnss, Satellite, Analyse d'arbre de défaillance, En50126, Intelligence artificielle, Automates temporisés. Ce signal est basé sur 2 projets analysés par Tekos.
Ce profil est recherché chez Institut de Recherche Technologique Railenium
Ce profil type a été détecté à partir de l'analyse des projets de Institut de Recherche Technologique Railenium par Tekos. Il représente un besoin récurrent observé, et non une offre d'emploi déclarée.
Technologies détectées sur ce périmètre
Uppaal
Gnss
Satellite
Analyse d'arbre de défaillance
En50126
Intelligence artificielle
Automates temporisés