3 model-checking PhD positions at Newcastle University

PhD-studentship in Applied Mathematics / Quantitative Ecology: Wind‑Assisted Dispersal of Insect Tree Pests: An Interdisciplinary Modelling and Ecological Study

Newcastle University | Newcastle upon Tyne, England | United Kingdom | 6 days ago

the potential source range of representative aerodynamically capable pests. Whether insect tree pests of concern to the UK can be classified by likely flight dynamics, and how these classes correspond

PhD-studentship in Applied Mathematics / Quantitative Ecology: Wind‑Assisted Dispersal of Insect Tree Pests: An Interdisciplinary Modelling and Ecological Study

Newcastle University | Newcastle upon Tyne, England | United Kingdom | about 16 hours ago

PhD-studentship in Applied Mathematics / Quantitative Ecology: Wind‑Assisted Dispersal of Insect Tree Pests: An Interdisciplinary Modelling and Ecological Study Award Summary 100% home fees covered

PhD studentship in Computer Science - Dynamic Validation of AI Systems in Digital Twins: A Real-Time Safety Framework for Critical Infrastructure Resilience

Newcastle University | United Kingdom | 2 months ago

hardware malfunctions. WP2 - Dynamic Validation Framework: This WP utilizes formal methods, specifically probabilistic model checking, to provide safety guarantees and verify AI behavior against constraints