Sort by
Refine Your Search
-
Listed
-
Employer
- Cranfield University
- ;
- ; The University of Edinburgh
- University of Nottingham
- ; Cranfield University
- ; Swansea University
- UNIVERSITY OF VIENNA
- ; Loughborough University
- ; The University of Manchester
- ; University of Greenwich
- ; University of Nottingham
- ; University of Reading
- ; University of Southampton
- Abertay University
- ; Newcastle University
- ; University of Bradford
- ; University of Bristol
- ; University of Copenhagen
- ; University of Leeds
- ; University of Stirling
- ; University of Warwick
- 11 more »
- « less
-
Field
-
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
-
. 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
-
we study, work, and think. Models such as ChatGPT have the potential to free individuals from the intricate and labour-intensive processes involved in writing and coding. Developing system software
-
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
-
scientists on site and around 300 researchers in Vienna. The Brukner group currently consists of an international team of 9 young researchers (Master, PhD, and Postdoc levels). For more information, please
-
scientists on site and around 300 researchers in Vienna. The Brukner group currently consists of an international team of 9 young researchers (Master, PhD, and Postdoc levels). For more information, please
-
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
-
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