Company:
Institut de Recherche Technologique SystemX
Location: Gif-sur-Yvette
Closing Date: 08/08/2024
Salary: £40 - £60 Per Annum
Type: Temporary
Job Requirements / Description
Chercheur Postdoctoral (F/H) Cadre d’ingénierie pour la sûreté de fonctionnement du véhicule autonome fondée sur la preuve formelle - RecrutementChercheur Postdoctoral (F/H) Cadre d’ingénierie pour la sûreté de fonctionnement du véhicule autonome fondée sur la preuve formelle Publié le : 21 mai 2024 Type de contrat : Poste de Chercheur Postdoctoral en CDD de 13 moisLocalisation du poste : Cluster Paris Saclay (91) 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
Share this job
Institut de Recherche Technologique SystemX
Useful Links
Similar Jobs
- View Job
Ingénieur Etudes de Sûreté de Fonctionnement F/H
Le Plessis-Robinson - View Job
Responsable de Service Sûreté de Fonctionnement F/H
Le Plessis-Robinson - View Job
Ingénieur Etudes de Sûreté de Fonctionnement F/H
Le Plessis-Robinson - View Job
Responsable de sûreté de fonctionnement projet
Vélizy-Villacoublay - View Job
Responsable études Sûreté de Fonctionnement qualité production F/H
Le Plessis-Robinson