-
. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables T3
-
Deadline: 30 June 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 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
-
, complexity, and verification needs. By mapping each component to the most appropriate FM tool based on cost-efficiency and expected reliability gains, we aim to construct validation portfolios: automated
-
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
-
research will focus on contributing to the design of this network and verification of its performance, or specific aspects of it. It may involve, as one component of the research, developing the Claims
-
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
-
research will focus on the design of this network as it evolves, and verification of its performance, or specific aspects of it. It will involve, as one component of the research, developing the Claims