-
skilled and motivated applicants for a PhD scholarship (DC12) focused on the development and validation of a modelling framework to support professionals to choose and advise foods, meals and diets with
-
with one or more of the following is a plus: knowledge graphs or symbolic reasoning systems; dialogue systems or conversational AI; behavioural modelling; experimental design and user studies; AI
Searches related to model checking
Enter an email to receive alerts for model-checking positions