-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
Deadline: 30 September 2025 A fully funded four-year PhD position is available to work on the project titled “Real-world quantum verification and benchmarking of noisy hardware”. This position is a
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
Deadline: 31 August 2025 A fully funded four-year PhD position is available to work on the project titled “Real-world quantum verification and benchmarking of noisy hardware”. This position is a
-
-verification, and in-country assessments of the nature, extent and likelihood of threats to these heritage sites. MAEASaM is a partnership programme, with the University of Cambridge serving as the lead and
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge
-
verification methodology and corresponding toolchain to detect and mitigate such threats to CPS at the design time making the CPS resilient-by-design. Typically, CPS are modelled as hybrid systems, comprising
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
Computational verification of high-speed multi-material flows, where physical experimentation is highly limited, is seen as critical by the defence Sector (source: the UK Atomic Weapons
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and