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
-
Scrum) and modeling of system structures and behavior. Experience with common software development tools, for example Git, IDEs, CI/CD and issue tracking. We offer: A family-friendly and collegial working
-
., computer science, mathematics, electronics, medical devices, bioinformatics, or law); fluency in English. Creativity, taking pleasure in research, and a sense for research quality and ethical behavior in research
-
. DAAD will conduct a formal review of the applications received via the DAAD portal only, according to the DAAD criteria. In addition to this first step, applicants must at the same time/as a second step