A unified formal framework for provably correct safety-security risk analysis
Scientific-Disciplinary Group
01/INFO-01 - Informatics
Description
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.
Job posting website
https://www.uniurb.it/ateneo/utilita/concorsi/contratti-di-ricerca
Number of positions
1
Funding body
Università degli Studi di Urbino Carlo Bo – DISPEA
How to apply
Other
View the original posting on the MUR website: Go to MUR website