Sort by
Refine Your Search
-
Program
-
Field
-
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
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
. Apart from previous academic achievements, the most important selection criterion is a convincing work and study plan for the visit to Germany, which has been coordinated with an academic advisor
-
, the China Scholarship Council (CSC) and the DAAD have offered a joint programme to support Chinese postdocs since 2013. Who can apply? Outstanding graduates from Chinese Universities and institutes. What can
-
available in the further tabs (e.g. “Application requirements”). Objective The primary aim of this programme is to promote research projects within the context of doctoral programmes. Who can apply? Doctoral
-
available in the further tabs (e.g. “Application requirements”). Objective The programme supports students from the Republic of Tunisia. Who can apply? The programme is aimed at applicants with a secondary
-
available in the further tabs (e.g. “Application requirements”). Objective The aim of the programme is to support young scientists and academics in Aceh in the aftermath of the 2004 tsunami and help promote