POST-DOC POSITION IN LOGIC at LUCI-UNIMI

[gprimiero at libero.it]

POST-DOC POSITION IN LOGIC at LUCI-UNIMI

 1 Year (renewable) post-doc position in Logic within 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 here. <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 at unimi.it <mailto:giuseppe.primiero at unimi.it> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220701/d55f1074/attachment-0001.html>