Sort by
Refine Your Search
-
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
-
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
-
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
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
-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 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
-
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
-
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
-
infinite extent models and limited extend data based on trust over particular sets, and naturally create explainable AI structures which can further be analysed from a verification and validation perspective