News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Friday 9 September 2022

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.

For more information, see https://sites.unimi.it/brio/open-positions/ or contact Giuseppe Primiero at .

Please note that this newsitem has been archived, and may contain outdated information or links.