Sort by
Refine Your Search
-
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
-
opportunity to establish a cutting-edge research program with significant impacts in this field. We are particularly interested in candidates who can develop an innovative research agenda in areas such as
-
program, colloquia, workshops). Your tasks Processing and analyzing text-based data from learning management systems, assessment systems and qualitative data sources such as interview transcripts
-
) 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