Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- ; The University of Edinburgh
- DAAD
- National Research Council Canada
- Cranfield University
- REQUIMTE - Rede de Quimica e Tecnologia
- Nature Careers
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- 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
- 19 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
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
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
-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 4 days ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
to obtain and maintain a federal Personal Identity Verification (PIV) card as required by Homeland Security Presidential Directive 12 (HSPD-12), which includes a favorable background investigation. Drug Free
-
or in a course not conferring an academic degree is required before the fellowship contractualization. Selection process The evaluation and selection process involves three steps: 1. Verification