1 model-checking PhD scholarships at Newcastle University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

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 | 23 days 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

Searches related to model checking

Enter an email to receive alerts for model-checking positions