An der Universität Duisburg-Essen ist derzeit eine W2- bzw. W3-Professur für "Formale Methoden der Informatik" ausgeschrieben: http://www.academics.de/jobs/universitaetsprofessur_w2_w3_fuer_formale_metho... Die Stellenausschreibung führt bestimmte Themengebiete auf, an denen unsere Abteilung besonders interessiert ist. Sie ist jedoch ansonsten umfassend zu verstehen und auch Bewerbungen von Kandidaten, die andere Themengebiete im Bereich "Formale Methoden der Informatik" vertreten, sind willkommen. Barbara König