Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Nottingham
- ; The University of Edinburgh
- Duke University
- Cranfield University
- University of Cambridge
- ;
- ; University of Nottingham
- National Renewable Energy Laboratory NREL
- The University of Edinburgh
- University of Texas at Tyler
- University of Warwick
- ; Loughborough University
- ; St George's, University of London
- ; Swansea University
- ; The University of Manchester
- ; University of Birmingham
- ; University of Bristol
- ; University of Cambridge
- ; University of Oxford
- ; University of Reading
- ; University of Sheffield
- ; University of Surrey
- ; University of Sussex
- ; University of Warwick
- AALTO UNIVERSITY
- Colorado State University
- DAAD
- Harvard University
- KINGS COLLEGE LONDON
- Texas A&M University
- UCL
- University of Alaska
- University of Florida
- University of Greenwich
- University of Liverpool
- University of Miami
- University of Nebraska–Lincoln
- University of Texas at El Paso
- 28 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
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
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
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
. 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
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
your formal application, please name Prof Peter Munro as your proposed supervisor and include Project Code 24001. Contact: For informal inquiries please contact Prof Peter Munro who will be happy
-
application is successful, we will invite you to formally apply. All candidates must fulfil the University of Warwick entry criteria and obtain an unconditional offer before commencing enrolment. For further
-
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