Progettazione e sviluppo di metodologie e strumenti per il supporto all’ingegnerizzazione ed alla realizzazione di strumenti diIntelligenza Artificiale affidabili

Posizione: RTT Istituto: Uni. Camerino
Aperto il: 07/04/2026 Scadenza: 21/05/2026

Gruppo Scientifico-Disciplinare

01/INFO-01 - Informatica

Descrizione

La persona sarà tenuta a svolgere attività di ricerca e didattica nel SSD di riferimento, partecipando alle attività previste dal progetto. Attenzione dovrà essere dedicata alle attività di ricerca per definire, progettare e sviluppare metodologie e strumenti innovativi a supporto dell'ingegnerizzazione e della realizzazione di strumenti di AI affidabili e trasparenti. Tali metodologie e strumenti saranno basati su metodi formali in grado di supportare la specifica e la verifica delle proprietà attese in tutte le fasi dello sviluppo dei sistemi di AI, anche in fase di esecuzione. Gli strumenti sviluppati verranno applicati in molteplici ambiti disciplinari, considerando contesti applicativi digitali, cyber-fisici e fisico/biologici. La persona dovrà collaborare alla supervisione di tesi di laurea e dottorato, essere in grado di svolgere attività didattica in lingua italiana e inglese, supportare le attività di Terza Missione e le attività organizzative della Scuola.

Tempo

Tempo pieno

Numero posti

1