-
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 code via
-
realizing our research strategy! PhD Student (m/f/x) in Molecular Epidemiology Code: 1514/2026/1 The research group “Molecular Epidemiology of Aging”, led by Dr. Dan Liu, is seeking a highly motivated PhD
Enter an email to receive alerts for coding-"https:"-"https:"-"https:"-"https:"-"https:" positions