Sort by
Refine Your Search
-
Listed
-
Category
-
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
-
) and the German Academic Exchange Service (DAAD) since 2007. Under this CAS-DAAD joint programme up and coming young Chinese scientists from the University of Chinese Academy of Sciences (UCAS) and CAS