Postdoctoral position in Logic, Uncertainty, Computation & Information, Milan (Italy)

1 Year (renewable) post-doc position in Logic within BRIO Project to work with the Logic, Uncertainty, Computation and Information (LUCI) Group, Department of Philosophy, University of Milan. This project aims to develop logics for the verification of properties of interest in the development and use of machine learning systems in Artificial Intelligence. In particular, the aim is to develop methods for demonstrating or verifying models that simulate the probabilistic structures underlying supervised, unsupervised and/or reinforcement learning methods and to check for biases and assess their risks.

The ideal candidate has obtained a PhD in Logic or related field (Philosophy/AI/CS/Mathematics), with knowledge of least two of the following disciplines: -proof theory and automatic theorem proving -temporal logics and model checking -formal theories of computational trust -formal models of bias and risk in AI. In addition, the ideal candidate has a great aptitude for teamwork, with good organisational skills.