Torna ai risultati della ricercaBando per contratto di ricerca
| Titolo del progetto di ricerca in italiano | Un framework formale unificato per l’analisi dimostrabilmente corretta sui rischi di safety e security |
|---|---|
| Titolo del progetto di ricerca in inglese | A unified formal framework for provably correct safety-security risk analysis |
| G.S.D. | 01/INFO-01 - INFORMATICA |
| S.S.D | INFO-01/A - Informatica |
| Descrizione sintetica in italiano | La rapida integrazione di processi decisionali guidati dall'IA e di infrastrutture gestite via software ha reso obsoleta la tradizionale dicotomia tra safety (guasti non intenzionali) e security (attacchi avversari). Nei moderni sistemi ciber-fisici, i difetti di sistema e le azioni malevole non sono più eventi isolati, ma interagiscono in modo dinamico e a cascata. Gli attuali modelli di valutazione del rischio rimangono tuttavia compartimentati, fallendo nel catturare queste interdipendenze critiche e i compromessi intrinseci tra resilienza ed efficienza. L’obiettivo di questo progetto è colmare il divario tra safety e security attraverso un framework analitico unificato capace di elaborare interrogazioni di rischio multi-dominio con rigore matematico. Questo traguardo deve essere raggiunto sintetizzando tre pilastri distinti: ontologia formale, dimostrazione interattiva di teoremi (interactive theorem proving) e model checking. |
| Descrizione sintetica in inglese | The rapid integration of AI-driven decision-making and software-managed infrastructure has rendered the traditional dichotomy between safety (unintentional faults) and security (adversarial attacks) obsolete. In modern cyber-physical systems, system defects and malicious exploits are no longer isolated events; they interact and cascade. Current risk assessment frameworks remain siloed, failing to capture these critical interdependencies and the inherent trade-offs between resilience and efficiency. The objective of this project is to bridge the safety-security divide through a unified analytical framework capable of processing cross-domain risk queries with mathematical rigor. This must be achieved by synthesizing three distinct pillars: formal ontology, interactive theorem proving, and model checking. At the theoretical level, the project will establish a shared, ontology-backed vocabulary to standardize the core components of risk reasoning. |
| Data del bando | 22/05/2026 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
OTHER |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://www.uniurb.it/ateneo/utilita/concorsi/contratti-di-ricerca |
| Destinatari del contratto di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Università degli Studi di Urbino Carlo Bo – DISPEA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Urbino |
| Sito web | http://www.uniurb.it |
| amministrazione.reclutamento.pdoc@uniurb.it |
| Contratto finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 11/06/2026 - alle ore 23:59 |
|---|---|
| Come candidarsi | Other |