Logic List Mailing Archive

W2/C3-Professur Theoretische Informatik (Algorithmik) Kaiserslautern

Im Fachbereich Informatik der Technischen Universitaet
Kaiserslautern ist eine

C3/W2 Professur auf dem Gebiet der Algorithmik

im Wintersemester 2004/2005 zu besetzen. Der zukuenftige
Stelleninhaber/die zukuenftige Stelleninhaberin soll im Bereich der
Theoretischen Informatik das Gebiet Algorithmik vertreten und eine
erfolgreiche Lehr- und Forschungstaetigkeit in einem oder mehreren der
nachfolgend aufgefuehrten Anwendungsgebiete aus der Sicht der Informatik
vorweisen koennen:

- Deduktion - Theorembeweisen - Verifikation 
- Biologie, Chemie oder Medizin 
- Informationssicherheit

Der Fachbereich Informatik profiliert sich durch seine anwendungsbezogene
Grundlagenforschung. Mit seinen/ihren Forschungsaktivitaeten sollte der
Stelleninhaber/die Stelleninhaberin wichtige Beitraege zur Konstruktion
und Analyse von innovativen (randomisierten, generativen) Algorithmen im
Anwendungsgebiet zu diesem Profil beitragen. In der Lehre wird eine
Beteiligung an den Pflichtlehrveranstaltungen im Grundstudium der
Informatik-Studiengaenge des Fachbereichs erwartet.

Mit dem Deutschen Forschungszentrum fuer Kuenstliche Intelligenz (DFKI)
und dem Fraunhofer-Institut fuer Experimentelles Software Engineering
(IESE) existiert an der Universitaet Kaiserslautem ein attraktives Umfeld
fuer anwendungsorientierte Grundlagenforschung. Darueber hinaus gibt es
gute Moeglichkeiten zur interdisziplinaeren Zusammenarbeit mit
Forschergruppen anderer Fachbereiche.

Von den Bewerberinnen und Bewerbern werden neben entsprechender
wissenschaftlicher Qualifikation besonders didaktische Faehigkeiten und
Erfahrung in der Lehre erwartet. Das Land Rheinland-Pfalz und die
Technische Universitaet Kaiserslautern vertreten ferner ein
Betreuungskonzept, bei dem eine hohe Praesenz der Lehrenden am
Hochschulort erwartet wird. Die Bereitschaft zur Mitarbeit in der
Hochschulselbstverwaltung wird vorausgesetzt.

Das Land Rheinland-Pfalz wird zum 01.07.2004 die neue Besoldungsstruktur
in Form der W-Besoldung in Kraft setzen. Bei einer Einstellung ab diesem
Zeitpunkt wird die Einstellung/ Ernennung auf W2-Basis erfolgen. Neben den
allgemeinen beamtenrechtlichen Voraussetzungen gelten die in Paragraph 49
des Hochschulgesetzes Rheinland-Pfalz geregelten
Einstellungsvoraussetzungen. Der Text wird auf Wunsch zugesandt.

Die Technische Universitaet strebt einen hoeheren Anteil von Frauen im
wissenschaftlichen Bereich an und ermutigt qualifizierte Akademikerinnen
nachdruecklich sich zu bewerben. Schwerbehinderte werden bei
entsprechender Eignung bevorzugt eingestellt. Bewerbungen sind mit
Lebenslauf, Schriftenverzeichnis sowie Nachweis ueber die bisherigen
Leistungen in der Lehre, Darstellung des wissenschaftlichen Werdeganges,
bisheriger Drittmitteleinwerbung und kuenftiger Forschungsabsichten bis
zum 08.03.2004 zu richten an:

Technische Universitaet
Kaiserslautern, Dekan des FB Informatik
Postfach 30 49
67653 Kaiserslautern