Post-Doc position based in Toulouse, France.
Causal Explanations of Property Violations in Distributed Discrete Event Systems
This position is related to the ANITI Chair "Synergistic transformations in model-based and data-based diagnosis" carried out by Louise Travé-Massuyès (
http://aniti.univ-toulouse.fr), collaboration with INRIA Grenoble - Rhône-Alpes
Advisor (s): Yannick Pencolé –
ypen...@laas.fr
Gregor Goessler –
gregor....@inria.fr
Louise Travé-Massuyès –
lou...@laas.fr (contact person)
See details in the attached file.