Logic List Mailing Archive
Junior Professorship (W1) in Logic and Deduction, Kaiserslautern (Germany), Deadline: 8 November 2009
Technische Universitt Kaiserslautern
Im Fachbereich Informatik der Technischen Universitt Kaiserslautern,
einer der fhrenden Informatikstandorte in Deutschland mit seinen
Forschungsinstituten DFKI und IESE sowie dem MPI fr Softwaresysteme, ist
zum Sommersemester 2010 eine
Juniorprofessur
fr Theoretische Informatik
(W 1 mit Tenure Track-Option)
zu besetzen. Von Bewerberinnen und Bewerbern wird erwartet, dass sie sich
in Forschung und Lehre schwerpunktmig 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 selbstndig wahrnehmen. Von ihr/ihm wird eine gute
Zusammenarbeit mit Forschergruppen des Fachbereiches erwartet.
Die Besetzung erfolgt zunchst im Beamtenverhltnis auf Zeit fr drei
Jahre (BesGr. W 1 BBesO) und kann nach positiver Evaluation um weitere
drei Jahre verlngert werden.
Im Falle der Bewhrung der Kandidatin/des Kandidaten besteht die
Mglichkeit einer bernahme auf eine Lebenszeitprofessur (BesGr. W 2
BBesO) ohne erneute Ausschreibung (Tenure Track). Von den
Bewerberinnen/Bewerbern werden zustzlich zur wissenschaftlichen
Qualifikation didaktische Fhigkeiten und gute englische Sprachkenntnisse
erwartet. Erfahrungen mit Drittmittelprojekten sind erwnscht.
Das Land Rheinland-Pfalz und die TU Kaiserslautern vertreten ein
Betreuungskonzept, bei dem eine hohe Prsenz 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
nachdrcklich, sich zu bewerben. Bewerberinnen/Bewerber mit Kindern sind
willkommen. Schwerbehinderte werden bei entsprechender Eignung bevorzugt
eingestellt (bitte Nachweise beifgen).
Bitte senden Sie alle Unterlagen auch als PDF-Dateien an
dekanat@cs.uni-kl.de. Fr Rckfragen steht Ihnen Prof. M. Nebel
(nebel@cs.uni-kl.de) gerne zur Verfgung.
Bewerbungen mit den blichen Unterlagen in deutscher oder englischer
Sprache (Lebenslauf, wissenschaftlicher Werdegang,
Publikationsverzeichnis, ggf. bersicht zu den eingeworbenen Drittmitteln
und zu weiteren professionellen Aktivitten, Kopien von Zeugnissen und
Urkunden sowie je drei Exemplare der drei wichtigsten Verffentlichungen)
werden bis zum 8. November 2009 erbeten an das Dekanat des Fachbereichs
Informatik, Technische Universitt Kaiserslautern, Postfach 30 49, 67653
Kaiserslautern.
Bewerbungsschluss: 08.11.2009