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
-
management Why Join Us: Be part of a dynamic, growing team in the field of enzyme and protein design Collaborate in the context of a prestigious DFG Priority Programme (SPP2363) Enjoy a vibrant scientific
-
Prospective leaders completed their first academic degree (Bachelor's or comparable degree) during the last 12 years (cut-off date: 1 February of year of application) Postdoctoral researchers completed
-
degree or a postdoctoral qualification (habilitation) and plan to come to Germany for a research stay (up to 12 months) post-graduates who, after completing their exams in their home country, wish