Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- DAAD
- Technical University of Denmark
- ; The University of Manchester
- ; University of Bristol
- Aalborg University
- Aarhus University
- Chalmers University of Technology
- Fraunhofer-Gesellschaft
- Ludwig-Maximilians-Universität München •
- RPTU University of Kaiserslautern-Landau •
- Technical University of Munich
- University of Twente
- 2 more »
- « less
-
Field
-
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
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required
-
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
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
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
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
control, human-robot collaboration, and smart grids. For this reason, their design and deployment should be accompanied by a formal check of correct behaviour. The Research Training Group on Continuous