-
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
-
Requirements: excellent university degree (master or comparable) in computer engineering or electrical engineering a strong background in digital design, hardware description languages (e.g. Verilog, VHDL
-
are collaborating in ScaDS.AI on advancing a broad spectrum of AI. The spectrum of available topics ranges from core areas of AI Theory, Hardware, Mathematic foundations, AI applications to societal aspects of AI
-
and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up to 14 m/s and high turbulence). Tasks: Independent and cooperative qualification through scientific
-
for future researchers. Thematically, CAUSE covers all levels of digital systems, from system-of-systems over software stacks to digital hardware. PhD students in CAUSE will cooperate closely to investigate
-
methods be combined? AI Compute Paradigms: How will future AI hardware look and how will it be used? Intelligent Medical Devices: How can AI advance cybermedical systems? AI Methods for Health: How can AI