Runtime Verification for Critical Machine Learning Applications

Behavioral ethics for algorithmic decision making

From machine learning to knowledge compilation and back

Modeling shift from efficient to inefficient divided attention using EEG/fmRI/MEG

Implementation of neroadaptive technology to optimize humanS-machineS teaming.

Pushing the computational frontiers of reasoning with logic, probabilities and preferences

Comment candidater ?

Envoyez votre CV détaillé, une lettre de motivation et une copie de vos diplômes à aniti-postdoc@univ-toulouse.fr

Des exemples de vos publications scientifiques et des lettres de recommandation seront un plus.