Logic List Mailing Archive
Junior Professorship (W1) in Logic and Deduction, Kaiserslautern (Germany), Deadline: 8 November 2009
Technische Universit�t Kaiserslautern
Im Fachbereich Informatik der Technischen Universit�t Kaiserslautern,
einer der f�hrenden Informatikstandorte in Deutschland mit seinen
Forschungsinstituten DFKI und IESE sowie dem MPI f�r Softwaresysteme, ist
zum Sommersemester 2010 eine
Juniorprofessur
f�r Theoretische Informatik
(W 1 mit Tenure Track-Option)
zu besetzen. Von Bewerberinnen und Bewerbern wird erwartet, dass sie sich
in Forschung und Lehre schwerpunktm��ig dem Gebiet Logik und Deduktion
widmen und darin wissenschaftlich ausgewiesen sind. Eine Ausrichtung zu
einem der folgenden Bereiche ist dabei von Vorteil:
- Entscheidungsverfahren & automatisches Theorembeweisen
- interaktives Theorembeweisen
- Logik und Automaten
- Verifikation von Programmen & Systemen
Die Juniorprofessorin/Der Juniorprofessor soll Aufgaben in Wissenschaft,
Forschung und Lehre selbst�ndig wahrnehmen. Von ihr/ihm wird eine gute
Zusammenarbeit mit Forschergruppen des Fachbereiches erwartet.
Die Besetzung erfolgt zun�chst im Beamtenverh�ltnis auf Zeit f�r drei
Jahre (BesGr. W 1 BBesO) und kann nach positiver Evaluation um weitere
drei Jahre verl�ngert werden.
Im Falle der Bew�hrung der Kandidatin/des Kandidaten besteht die
M�glichkeit einer �bernahme auf eine Lebenszeitprofessur (BesGr. W 2
BBesO) ohne erneute Ausschreibung (Tenure Track). Von den
Bewerberinnen/Bewerbern werden zus�tzlich zur wissenschaftlichen
Qualifikation didaktische F�higkeiten und gute englische Sprachkenntnisse
erwartet. Erfahrungen mit Drittmittelprojekten sind erw�nscht.
Das Land Rheinland-Pfalz und die TU Kaiserslautern vertreten ein
Betreuungskonzept, bei dem eine hohe Pr�senz der Lehrenden am Hochschulor
t
erwartet wird. Die Bereitschaft zur Mitarbeit in der Verwaltung der
Hochschule wird vorausgesetzt.
Neben den allgemeinen Voraussetzungen gelten die in � 54 des
Hochschulgesetzes Rheinland- Pfalz geregelten Einstellungsvoraussetzungen.
Der Text ist auf der Homepage der TU Kaiserslautern hinterlegt
(http://www.uni-kl.de/wcms/ha1-rechtsvorschrift.html).
Das Auswahlverfahren wind an die Bestimmungen des Hochschulgesetzes
Rheinland-Pfalz �ber die Berufung von Professorinnen und Professoren
angelehnt.
Die TU Kaiserslautern ermutigt qualifizierte Akademikerinnen
nachdr�cklich, sich zu bewerben. Bewerberinnen/Bewerber mit Kindern sind
willkommen. Schwerbehinderte werden bei entsprechender Eignung bevorzugt
eingestellt (bitte Nachweise beif�gen).
Bitte senden Sie alle Unterlagen auch als PDF-Dateien an
dekanat@cs.uni-kl.de. F�r R�ckfragen steht Ihnen Prof. M. Nebel
(nebel@cs.uni-kl.de) gerne zur Verf�gung.
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 8. November 2009 erbeten an das Dekanat des Fachbereichs
Informatik, Technische Universit�t Kaiserslautern, Postfach 30 49, 67653
Kaiserslautern.
Bewerbungsschluss: 08.11.2009