Call for applications for admission to PhD programmes 42nd cycle Academic year 2026/2027 (ita/en).

Annex (ita/en)

Information for prospective applicants

Declaration on use of AI tools
Research project guidelines

Submission deadline for the online application: 12/06/2026 at 13:00 (CEST)

n. 7 positions, of which:

• n. 2 positions funded by Scuola Universitaria Superiore IUSS Pavia 
   
• n. 1 position co-funded by Scuola Universitaria Superiore IUSS Pavia n. 1 and the research project FIS2 Consolidator Grant ‘Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How’ (FIS-2023-04053; PI: Silvia De Toffoli) on the topic The Epistemology of Mathematics: Fallibility, Technology, Know-How, CUP: I53C24003170001
  The primary goal of this project is to provide a multifaceted theory of mathematical knowledge and justification that makes sense of how knowledge is produced and shared among human agents. Furthermore, it considers the philosophical implications associated with the use of new technologies, both in mathematics and in other areas of rational inquiry. Research may cover various topics in analytic philosophy, including the philosophy of mathematics, epistemology (and, in particular, social epistemology), and the philosophy of logic.
   
• n. 2 positions funded by Università degli studi di Milano 
   
• n. 1 position co-funded by Università degli studi di Milano and Kube Partners Italy S.r.l on the topic Neurosymbolic Verified Learning for Agentic Pipelines.
  The research will focus on the development of a Verified Learning framework for agentic pipelines in production, combining neuro-symbolic approaches and formal methods to ensure the correctness, coherence, and reliability of AI systems. The objective is to validate, at inference time (not only post-hoc), outputs generated by complex pipelines — including data processing, models, and code — through verifiable certificates and probabilistic and modal logics. The expected outcome is systems capable of identifying inconsistencies, anomalies, and incoherences in decision-making processes, improving transparency and interpretability, with concrete applications in industrial contexts.
   
• n. 1 position funded by Scuola Normale Superiore di Pisa
   

Test schedule  

The results about the evaluation process will be published on the IUSS website http://www.iusspavia.it.
The interviews will be held starting 06/07/2026 at 10 CEST in presence at IUSS School, or remotely via Zoom.