Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
(DAAD) Contribution towards the costs of printing thesis (DAAD) Refund of TestDaF or DSH exam One-year research and study allowance The contribution awarded by COLFUTURO is a scholarship credit which is
-
dependants (DAAD) If applicable, cost of German language course for accompanying spouse (DAAD) Refund of TestDaF or DSH exam One-year research and study allowance The contribution awarded by COLFUTURO is a
-
applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code IX (SGB IX) will receive
-
excellent research, academic writing, leading laboratory or track side test and analytical skills. a highly independent and committed way of working, project lead, solid communication skills and team spirit
-
university. We welcome applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code
-
welcome applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code IX (SGB IX
-
therefore expressly encourage women to apply. The University is a certified family-friendly university. We welcome applications from candidates with disabilities. If multiple candidates prove to be equally
-
encourage women to apply. The University is a certified family-friendly university. We welcome applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with
-
. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code IX (SGB IX) will receive priority for employment. Please submit your
-
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