Salta al contenuto principale
Bando
Testo

Concorso pubblico, per titoli ed esami, per l’ammissione ai Corsi di dottorato di ricerca della Scuola IUSS – XLII ciclo a.a. 2026/2027 (ita/ing)

Scheda dottorato (ita/ing)

Informazioni per i potenziali candidati

Indicazioni sull'utilizzo dell'AI nella stesura dei progetti
Linee guida progetto di ricerca

Scadenza presentazione domande: 12/06/2026 alle 13:00 CEST

n. 7 posti, così suddivisi:

  • n. 2 posti finanziati dalla Scuola Universitaria Superiore IUSS Pavia
     
  • n. 1 posto finanziato dalla Scuola Universitaria Superiore IUSS Pavia sul progetto
    FIS2 Consolidator Grant ‘Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How’ (FIS-2023-04053; PI: Silvia De Toffoli) sulla tematica Epistemologia della Matematica: Fallibilismo, Tecnologia, e Know-How, CUP: I53C24003170001.
    L'obiettivo primario di questo progetto è quello di fornire una teoria poliedrica della conoscenza e della giustificazione matematica che dia un senso al modo in cui la conoscenza viene prodotta e condivisa tra gli agenti umani. Inoltre, considera le ramificazioni filosofiche legate all'uso delle nuove tecnologie, sia in matematica che in altre aree di indagine razionale. La ricerca può riguardare argomenti di filosofia analitica, tra cui la filosofia della matematica, 'epistemologia (e, in particolare l'epistemologia sociale) e la filosofia della logica.
     
  • n. 2 posti finanziati dall’Università degli studi di Milano
     
  • n. 1 posto co-finanziato dall’Università degli studi di Milano e da Kube Partners Italy S.r.l sulla tematica Verified Learning neurosimbolico per pipelines agentiche.
    La ricerca si concentrerà sullo sviluppo di un framework di Verified Learning per pipeline agentiche in produzione, combinando approcci neuro-simbolici e metodi formali per garantire correttezza, coerenza e affidabilità dei sistemi AI. L’obiettivo è validare in tempo di inferenza (non solo post-hoc) gli output generati da pipeline complesse — che includono elaborazione dati, modelli e codice — attraverso certificati verificabili e logiche probabilistiche e modali. Il risultato atteso sono sistemi in grado di individuare inconsistenze, anomalie e incoerenze nei processi decisionali, migliorando trasparenza e interpretabilità, con applicazioni concrete in ambito industriale.
     
  • n. 1 posto finanziato dalla Scuola Normale Superiore di Pisa

     

Calendario delle prove

L’esito della valutazione titoli sarà pubblicato all’Albo della Scuola.
Le prove orali si svolgeranno a partire dal giorno 06/07/2026 ore 10 presso la Scuola IUSS o in modalità telematica (via Zoom).