Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SciLifeLab
- Cranfield University
- DAAD
- Technical University of Denmark
- ;
- ; Loughborough University
- ; The University of Edinburgh
- Chalmers University of Technology
- Fraunhofer-Gesellschaft
- National Research Council Canada
- Nature Careers
- University of Groningen
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- ; University of Greenwich
- Aalborg University
- Colorado State University
- Ghent University
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- RPTU University of Kaiserslautern-Landau •
- Ryerson University
- Texas A&M University
- UNIVERSITY OF VIENNA
- University of Alaska
- University of Liverpool
- University of Lund
- University of Twente
- University of Vienna
- 20 more »
- « less
-
Field
-
. 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
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
-
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
-
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
-
, complexity, and verification needs. By mapping each component to the most appropriate FM tool based on cost-efficiency and expected reliability gains, we aim to construct validation portfolios: automated