Logic List Mailing Archive

W2 Professorship in Theoretical Computer Science, Kaiserslautern (Germany), Deadline: 31 May 2011

Am Fachbereich Informatik der Technischen Universität Kaiserslautern ist 
eine W2-Professur für Theoretische Informatik zum Sommersemester 2012 zu 
besetzen. Von Bewerberinnen und Bewerbern wird erwartet, dass sie in der 
Forschung zur Theoretischen Informatik hervorragend ausgewiesen sind, 
wobei mögliche Arbeitsschwerpunkte in den folgenden Bereichen liegen 
könnten: - Algorithmik (z.B. Approximationsverfahren, 
Streaming-Algorithmen, Planung) - Automatische Verifikation (z.B. 
Model-Checking, SMT, Abstrakte Interpretation) - Maschinelles Lernen (z.B. 
Reinforcement-Learning, Data-Mining, Pattern-Matching) - Paralleles 
Rechnen (z.B. HPC, Scheduling, Netzwerkmodelle). Kaiserslautern ist einer 
der großen Informatik-Standorte Deutschlands. Der Fachbereich Informatik 
kombiniert Grundlagen in der Ausbildung mit Exzellenz in der Anwendung und 
besetzt regelmäßig Spitzenplätze in einschlägigen Rankings. Mit den 
angeschlossenen Forschungsinstituten wie dem Deutschen Forschungszentrum 
für Künstliche Intelligenz (DFKI), dem Fraunhofer-Institut für 
Experimentelles Software Engineering (IESE) und dem Max-Planck-Institut 
für Softwaresysteme bestehen vielfältige Kooperationsmöglichkeiten. Von 
den Bewerberinnen und Bewerbern werden neben der herausragenden 
wissenschaftlichen Qualifikation auch exzellente didaktische Fähigkeiten 
und Erfahrungen in der Lehre erwartet, die sie in der Theoretischen 
Informatik einbringen sollen. Einstellungsvoraussetzungen sind neben einem 
abgeschlossenen Hochschulstudium eine Promotion und zusätzliche dem 
Anforderungsprofil entsprechende Leistungen. Lehrveranstaltungen im 
Master-Studiengang werden in englischer Sprache gehalten. Neben den 
allgemeinen Voraussetzungen gelten die in § 49 des Hochschulgesetzes 
Rheinland-Pfalz geregelten Einstellungsvoraussetzungen. Der Text ist auf 
der Homepage der Technischen Universität Kaiserslautern hinterlegt 
(http://www.uni-kl.de/wcms/ha1-rechtsvorschrift.html). Die Technische 
Universität Kaiserslautern strebt eine Erhöhung des Anteils von Frauen in 
diesem Aufgabenbereich an. Sie ermutigt daher Frauen nachdrücklich, sich 
zu bewerben. Schwerbehinderte werden bei entsprechender Eignung im 
Auswahlverfahren bevorzugt berücksichtigt (bitte Nachweis beifügen). 
Bewerberinnen und Bewerber mit Kindern sind willkommen. Das Land 
Rheinland-Pfalz und die Technische Universität Kaiserslautern vertreten 
ein Betreuungskonzept, bei dem eine hohe Präsenz der Lehrenden am 
Hochschulort erwartet wird. Die Bereitschaft zur Mitwirkung in der 
Selbstverwaltung der Hochschule wird vorausgesetzt. Bewerbungen mit den 
üblichen Unterlagen in deutscher oder englischer Sprache (Lebenslauf, 
wissenschaftlicher Werdegang, Publikationsverzeichnis, ggf. Übersicht zu 
den eingeworbenen Drittmitteln und zu weiteren professionellen 
Aktivitäten, Kopien von Zeugnissen und Urkunden sowie je drei Exemplare 
der drei wichtigsten Veröffentlichungen) werden bis zum 31. Mai 2011 
erbeten an das Dekanat des Fachbereichs Informatik, Technische Universität 
Kaiserslautern, Postfach 30 49, 67653 Kaiserslautern. Bitte senden Sie 
alle Unterlagen auch als PDF-Dateien an . Für Rückfragen steht Ihnen Prof. 
M. Nebel gerne zur Verfügung.