Die Arbeitsgruppe Formale Methoden hat eine Stelle für eine(n) wissenschaftliche(n) Mitarbeiter(in) frei. Bei Interesse oder Fragen zur Stelle bitte Frau Prof. Heike Wehrheim, , kontaktieren.