-
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
-
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
-
from Prof. Torben Larsen, Department of Computer Science, email: tola@cs.aau.dk, concerning the scientific aspects of the stipend. The application must be submitted via Aalborg University’s recruitment
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff