-
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
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
electronic systems are programmed. This includes defining novel programming methods and compiler infrastructures to deploy reactive applications that execute close or at sensing nodes in cyber-physical systems
-
Description In the research group Dependable and Autonomous Cyber-physical Systems (DACS) on Institute for Software and Systems Engineering (ISSE) at Clausthal University of Technology has