Torna ai risultati della ricercaBando per incarichi di ricerca
| Titolo del progetto dell'incarico in italiano | IdR62/26 - Specification mining e runtime verification per sistemi cyberfisici in Industria 5.0 |
|---|---|
| Titolo del progetto ddell'incarico in inglese | IdR62/26 - Specification mining and runtime verification for cyberphysical systems in Industry 5.0 |
| G.S.D. | 09/IINF-05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| S.S.D | IINF-05/A - Sistemi di elaborazione delle informazioni |
| Descrizione sintetica in italiano | 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. |
| Descrizione sintetica in inglese | The research assignment aims to develop methods and tools for specification mining and runtime verification of humancentric cyber-physical systems in Industry 5.0. In particular, the activity will focus on extracting, formalizing, and monitoring temporal properties related to correctness, safety, and reliability from datasets generated by wearable devices and environmental sensors, in the context of digital twins applied to scenarios such as smart manufacturing and logistics. |
| Data del bando | 24/07/2026 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 27840 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotto l'incarico |
Italy |
| Paesi di residenza dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Sito web del bando | https://www.univr.it/it/concorsi/contratti-e-assegni-di-ricerca/incarichi-di-ricerca/0/16436 |
| Destinatari dell'incarico di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| L'incarico prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 22565 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo dell'incarico | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
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. |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a) Master's degree in Computer Science, Computer Engineering, or equivalent [Laurea Magistrale o a ciclo unico awarded pursuant to Art. 3(1n), Ministerial Decree no. 270 of 22/10/04], obtained no more than six years before the expiry date of this call; b) Possession of a curriculum suitable for assisting in carrying out research activities. |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles |
| Nome dell'Ente finanziatore | Università degli Studi di Verona |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | https://www.univr.it |
| elena.cordioli@unvr.it | |
| Telefono | +39 (0) 45 8028204 |
| L'incarico finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 31/08/2026 - alle ore 13:00 |
|---|---|
| Come candidarsi | Other |