Logic List Mailing Archive

W3 Professorship in Theoretical Computer Science, Tuebingen (Germany), Deadline: 17 Nov 2013

UNIVERSITÄT TÜBINGEN - W3 Theoretische Informatik - Frist: 17.11.2013

An der Mathematisch-Naturwissenschaftlichen Fakultät der Eberhard Karls 
Universität Tübingen ist im Fachbereich Informatik eine W 3-Professur für 
Theoretische Informatik zum 1. Oktober 2014 zu besetzen. Der/Die künftige 
Stelleninhaber/in sollte in Forschung und Lehre primär das Fach 
"Theoretische Informatik" vertreten und sich im vollen Umfang an der 
Grundausbildung in Theoretischer Informatik beteiligen. Der 
Forschungsschwerpunkt soll in einem der Bereiche Formale Verifikation 
Eingebetteter Systeme, Endliche Modelltheorie oder Statistische Analyse 
von graphbasierten Algorithmen liegen. Einstellungsvoraussetzung ist die 
Habilitation oder eine gleichwertige Qualifikation sowie nachgewiesene 
didaktische Eignung. Diese Professur ist ausgeschrieben im Rahmen des 
Zukunftskonzepts der Universität Tübingen. Die Universität Tübingen strebt 
eine Erhöhung des Anteils von Frauen in Forschung und Lehre an und bittet 
entsprechend qualifizierte Wissenschaftlerinnen nachdrücklich um ihre 
Bewerbung. Schwerbehinderte werden bei gleicher Eignung bevorzugt 
berücksichtigt. Bewerbungen mit den üblichen Unterlagen und einem 
Forschungs- und Lehrkonzept sowie dem ausgefüllten Formular 
"Bewerbungsbogen" (unter 
http://www.mnf.uni-tuebingen.de/fakultaet/service.html) werden bis zum 17. 
November 2013 in elektronischer Form erbeten an den Dekan der 
Mathematisch-Naturwissenschaftlichen Fakultät der Universität Tübingen 
(dekanat@mnf.uni-tuebingen.de).