Sort by
Refine Your Search
-
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
-
of methods for detecting infringements of intellectual property rights Research in the field of explainable algorithms for semantic search Development of innovative methods for information extraction Analysis
-
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
-
? What are the elements of meaning (image ciphers) that make up the semantic field of images? To what extent can images be precisely determined in their semantic content? Such questions need to be explored
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
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 apply for admission
-
. 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
-
scholarships in conjunction with free accommodation on the HWK campus in Delmenhorst. The conditions of the financial compensation are subject to individual agreement. Application Papers All formal application
-
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