Equipe-projet
KAIROS
Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
Centre(s) inria
Sophia Antipolis - Méditerranée
En partenariat avec
CNRS,Université Côte d'Azur
Membres
Robert De Simone
Responsable de l'équipe
Patricia Riveill
Assistant(e) de l'équipe
Dans l'actualité
Offre d'emploi
Doctorant F/H IA temporellement prédictible en TensorFlow/MLIR
Date limite pour postuler
