Bando
Testo
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).
Navigazione principale
Link correlati