3 formal-verification-computer-science PhD positions at Roma Tre University

PhD Position DC8 - Roma Tre University, Italy - Development of quantitative methods for system risk and resilience modelling (REUNATECH Project)

Roma Tre University | Italy | about 23 hours ago

22 Aug 2025 Job Information Organisation/Company Roma Tre University Department Department of Civil, Computer Science and Aeronautical Technologies Engineering Research Field Engineering » Process

PhD Position DC9 - Roma Tre University, Italy - Definition of Loss of Content (LOC) conditions in industrial facilities due to natural hazards (REUNATECH Project)

Roma Tre University | Italy | about 23 hours ago

doctoral training programme in risk assessment, resilience engineering, and smart technologies. Its scientific vision targets: (1) the development of a holistic multi-hazard risk framework capturing

PhD Position DC13 - Roma Tre University, Italy - Probabilistic Resilience Analysis (PRA) of hazardous facilities and nearby community under multi-hazard accidents (REUNATECH Project)

Roma Tre University | Italy | about 23 hours ago

a world-class doctoral training programme in risk assessment, resilience engineering, and smart technologies. Its scientific vision targets: (1) the development of a holistic multi-hazard risk