Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SciLifeLab
- Cranfield University
- DAAD
- ;
- Aalborg University
- Fraunhofer-Gesellschaft
- Nature Careers
- Technical University of Denmark
- University of Groningen
- ; Loughborough University
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- Aarhus University
- 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
-
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
-
Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems. Role
-
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
-
, 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
-
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
-
. 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