FINAL REMINDER: Postdoc Position in Logical Foundations of AI, Logic Group at University of Milan

gprimiero at gprimiero at
Wed Jun 23 03:44:13 EDT 2021

The Logic Group at the University of Milan is thrilled to advertise a postdoc position (two years, renewable) within the project "Logical Foundations of AI".


The project will be developed within a research line contributing to bridging the gap between statistical methodologies at the basis of (supervised, unsupervised) Machine Learning and Logic in the development of AI.

We aim to develop Logics for Reasoning under Uncertainty and with limited resources to analyse and check transparency and trustworthiness of AI systems. Properties of interest include but are not limited to: Causality, Safety and Fairness.

The selected candidate will join a thriving research group based at the Department of Philosophy at the University of Milan, and will be working under the joint supervision of Marcello D'Agostino and Giuseppe Primiero. They will be expected to contribute to the activities of the Logic Group, and to present and publish their results at high-standard conferences and journals.

The ideal applicant will hold a Ph.D. in Logic, obtained either within a philosophy, mathematics or computer science programme. The candidate is also required to have good basic knowledge of one or more of the following areas: Foundations of Resource-Bounded Logics; Epistemic and Non-Monotonic Logics; Logics of Uncertainty and Probabilistic Logics; Temporal Logics; Proof Theory; Verification (both model-checking and automated theorem proving).

The official call and link to the online application form is available at

Feel free to get in touch with Giuseppe Primiero (giuseppe.primiero at should you have any questions.

Logic Group Milan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210623/4479ece6/attachment.html>

More information about the FOM mailing list