Bandi per assegni di ricerca

Univ. TRIESTE

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano "Verifica Modulare sotto Incertezza nei Sistemi Ciber-Fisici" nell’ambito del progetto PRIN n. 20228FT78M CUP: J53D23007050001
Titolo del progetto di ricerca in inglese Modular Verification under Uncertainty in Cyber-Physical Systems
Area CUN 09 - Ingegneria industriale e dell'informazione
S.S.D ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Descrizione sintetica in italiano Il presente progetto di ricerca è parte integrante del progetto PRIN 2022 “DREAM: modular software Design to Reduce uncertainty in Ethics-based cyber-physicAl systeMs”. Obiettivo primario è l'indagine e lo sviluppo di tecniche di verifica formale volte alla valutazione di sistemi cyber-fisici (CPS).
Il progetto si concentra sulla creazione di algoritmi di verifica gerarchica e modulare per la gestione dell’incertezza in sistemi di larga scala. Particolare attenzione sarà rivolta alla verifica delle componenti cyber derivate con apprendimento automatico, progettando modelli Neuro- Symbolici, ad esempio integrando apprendimento automatico con logiche temporali per identificare pattern inconsueti in sistemi di sorveglianza o di manutenzione predittiva. In parallelo, si integreranno requisiti etici nei CPS, cruciale per applicazioni come veicoli autonomi e device medici, dove la sicurezza e le decisioni morali sono preponderanti.
Descrizione sintetica in inglese This research project is an integral part of the PRIN 2022 DREAM: modular software Design to Reduce uncertainty in Ethics-based cyber-physicAl systeMs. Primary objective of this project is the investigation and development of formal verification techniques aimed at evaluating cyberphysical systems (CPS).
The project focuses on the creation of hierarchical and modular verification algorithms for managing uncertainty in large-scale systems. Particular attention will be paid to the verification of cyber components derived through machine learning techniques, designing Neuro-Symbolic models, for instance by integrating machine learning with temporal logics to identify unusual patterns in surveillance systems or predictive maintenance. In parallel, ethical requirements will be integrated into CPS, which is crucial for applications such as autonomous vehicles and medical devices, where
safety and moral decisions are paramount.
Data del bando 12/03/2024
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati OTHER
Nazionalità dei candidati OTHER
Sito web del bando https://web.units.it/concorsi/ricerca/conc-51298

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Importo annuale 28.045
Valuta Euro
Massima durata dell'assegno (mesi) 24

 

Finanziatore
Nome dell'Ente finanziatore Università degli Studi di Trieste
Tipologia dell'Ente Academic
Paese dell'Ente Italy
Città Trieste
Sito web https://www.units.it/

 

Contatto presso l'Ente
E-mail assegni@amm.units.it

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 17/04/2024
Come candidarsi https://pica.cineca.it/units (rif. PICA 24ar308-2PRIN/01)