Logic List Mailing Archive

Postdoctoral position in Logic, Uncertainty, Computation, & Information, Milan (Italy), Deadline: 9 Sep 2022

POST-DOC POSITION IN LOGIC at LUCI-UNIMI


1 Year (renewable) post-doc position in Logic within BRIO Project

https://sites.unimi.it/brio/

to work with the Logic, Uncertainty, Computation and Information (LUCI) Group, 
Department of Philosophy, University of Milan.

PROJECT:
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 project activities consist of:

1) Formulation of multi-agent models and/or probabilistic deductive reasoning 
checking for forms of bias and risk
2) Presentation of scientific results at international conferences
3) Publication of research results in international journals
4) Supporting the organisation of scientific events

PROFILE OF THE RESEARCHER
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.

HOW TO APPLY & DEADLINE

The deadline for application is on 09th September 2022 at 23:59 CET (strict – 
please note that late applications cannot be considered). Please follow 
carefully the instructions available on the official call, published at

https://www.unimi.it/it/ricerca/ricerca-lastatale/fare-ricerca-da-noi/assegni-e-borse/bandi-assegni-di-ricerca/bando-di-tipo-b-prof-primiero-id-5378

Online interviews are scheduled on 19th September 2022 at 10:00 CET.

For any informal inquiry please write to giuseppe.primiero@unimi.it
=================
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam