Incarico di ricerca (pre-doc)
09/IINF-05 - Sistemi di Elaborazione delle Informazioni
Uni. Verona
Aperto il: 24/07/2026
Scadenza: 31/08/2026
Compenso
22,565 €
Durata massima
12 mesi
IdR62/26 - Specification mining e runtime verification per sistemi cyberfisici in Industria 5.0
L’incarico mira a sviluppare metodi e strumenti per specification mining e runtime verification di sistemi cyber-fisici human-centric in Industria 5.0. In particolare, l’attività riguarderà l’estrazione, formalizzazione e monitoraggio di proprietà temporali di correttezza, sicurezza e affidabilità a partire da dataset generati da dispositivi indossabili e sensori ambientali, nel contesto di digital twin applicate a scenari quali la manifattura intelligente e la logistica.
Modalità di selezione
La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a) Laurea Magistrale in Informatica o in Ingegneria informatica o equipollente [conseguita ai sensi dell’art. 3, comma 1, lettera n), D.M. 22 ottobre 2004, n. 270], conseguita da non più di sei anni dalla data di scadenza del presente bando;b) Possesso di curriculum idoneo all’assistenza allo svolgimento di attività di ricerca.