The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
Research in the department is distributed across five main themes: Machine Intelligence Data Science Smart Infrastructure & Cyber Security Human‐Centred Computing Computational Modelling The University is
-
a diverse and complex digital estate. You'll shape the direction of our security framework, ensuring that guidance, policy and reference architectures are fit for purpose and embedded. You will also
Searches related to model checking
Enter an email to receive alerts for model-checking positions