Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Research Council Canada
- ; The University of Edinburgh
- Cranfield University
- REQUIMTE - Rede de Quimica e Tecnologia
- DAAD
- Nature Careers
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
- The University of Edinburgh
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- BI Norwegian Business School
- Chalmers University of Technology
- Colorado State University
- Forschungszentrum Jülich
- Ghent University
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Leibniz
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- National Renewable Energy Laboratory NREL
- Ryerson University
- Texas A&M University
- University of Alaska
- University of Beira Interior
- University of Greenwich
- University of Liverpool
- University of Southern Denmark
- University of Warwick
- 22 more »
- « less
-
Field
-
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
-
. 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
-
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
-
and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up to 14 m/s and high turbulence). Tasks: Independent and cooperative qualification through scientific
-
environments shall be performed. Subsequently weather-and turbulence-related limit values shall be formulated and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up
-
information entered by an employer from an employee’s Form I-9, Employment Eligibility Verification, to records available to the U.S. Department of Homeland Security and the Social Security Administration
-
. Responsibilities: Conduct research in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function
-
, 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
-
are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including
-
the research findings in real life operating conditions, in an approach to close the gap between pure theory and experimental verifications. You will need to represent the group in different contexts, both in