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.