-
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
-
, SystemC), reconfigurable architectures (e.g. FPGA, CGRA) What we expect from you: above-average degree achieved in short study period willingness and ability to think beyond the boundaries of your field
-
. DAAD will conduct a formal review of the applications received via the DAAD portal only, according to the DAAD criteria. In addition to this first step, applicants must at the same time/as a second step
-
stages: In the first stage, the pre-selection, the Studienstiftung checks whether the formal conditions and the Studienstiftung's requirements are met. This is followed by the assessment round (by means