Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Forschungszentrum Jülich
- ; The University of Edinburgh
- Cranfield University
- DAAD
- National Research Council Canada
- Leibniz
- REQUIMTE - Rede de Quimica e Tecnologia
- Technical University of Denmark
- University of Twente
- ; The University of Manchester
- CNRS
- Fraunhofer-Gesellschaft
- Lulea University of Technology
- Nature Careers
- RPTU University of Kaiserslautern-Landau •
- University of Bamberg •
- University of Southern Denmark
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- ; University of East Anglia
- ; University of Exeter
- Chalmers University of Technology
- Colorado State University
- Curtin University
- Duke University
- Ghent University
- Hannover Medical School •
- Imperial College London
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Leipzig University •
- Ludwig-Maximilians-Universität München •
- Mälardalen University
- National Renewable Energy Laboratory NREL
- Radboud University
- Ryerson University
- Texas A&M University
- Universidade de Coimbra
- University of Alabama, Tuscaloosa
- University of Alaska
- University of Beira Interior
- University of Greenwich
- University of Konstanz •
- University of Liverpool
- University of Texas at Austin
- University of Twente (UT)
- Utrecht University
- Wageningen University & Research
- 39 more »
- « less
-
Field
-
), and in Grenoble (IGE). The PhD candidate will be associated with the targeted ISClim project (Polar Ice Sheets in the Climate System – addressing high-end sea-level scenarios) of TRACCS (https://pepr
-
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
-
to the understanding of climate change and its consequences. The climate effect and the ability of mixed-phase clouds to form precipitation is strongly dependent on the presence of ice crystals. Observations show that
-
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
-
climate system, yet the potential ecological consequences of climate interventions at the poles are poorly understood. This studentship will be linked to a larger project, Eco-Ice, which will provide
-
of mixed-phase clouds to form precipitation. This depends largely on the presence of ice crystals. In a preliminary study, we were able to show that long-chain carbohydrates (polysaccharides) produced by
-
. 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