Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SciLifeLab
- Cranfield University
- DAAD
- Technical University of Denmark
- ;
- ; Loughborough University
- ; The University of Edinburgh
- Aalborg University
- Fraunhofer-Gesellschaft
- Nature Careers
- University of Groningen
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- Chalmers University of Technology
- Ghent University
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- National Research Council Canada
- RPTU University of Kaiserslautern-Landau •
- Technical University of Munich
- Texas A&M University
- UNIVERSITY OF VIENNA
- University of Alaska
- University of Lund
- University of Michigan
- University of Twente
- University of Vienna
- 18 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
-
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 Department of Computer Science at Aalborg University has a fully-funded PhD position available. The candidate will be working on formal verification of neural-network control policies
-
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
-
06.10.2023, Wissenschaftliches Personal The PhD position is on safety verification of Cyber-Physical Systems at the intersection between control theory and machine learning. The position is full
-
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
-
research will focus on contributing to the design of this network and verification of its performance, or specific aspects of it. It may involve, as one component of the research, developing the Claims
-
, 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