Chercheur Postdoctoral (F/H) Cadre d’ingénierie pour la sûreté de fonctionnement du véhicule autonome fondée sur la preuve formelle
Type de contrat : Poste de Chercheur Postdoctoral en CDD de 13 mois
Localisation du poste : Cluster Paris Saclay (91)
Publié le : 21 mai 2024
Compétences requises: Preuve assistée par ordinateur, Isabelle-HOL, Communicating Sequential Processes (CSP), Modélisation de Systèmes Cyber-Physiques, Calcul de propriétés, Sûreté de fonctionnement, Liveness/Performance.
#J-18808-Ljbffr
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.