1 error-correction PhD positions in France

PhD Position F/M Knowledge reasoning for managing Cloud Computing models

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 13 hours ago

this thesis, we will focus on the models expressed by logics and data. These models are used in order to check different properties about these models in order to check that the models are correct and coherent