2 computer-programmer-"the"-"IMPRS-ML"-"UCL"-"FEMTO-ST"-"U.S"-"https:"-"DIFFER" "University of Stuttgart •" positions

Looking for PhD Students1-2 Year Research Stay, Full PhD

DAAD | Germany | 21 days ago

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

PhD Student at CISPA (Stuttgart)

CISPA (Stuttgart) | Germany | about 2 months ago

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