Logic List Mailing Archive

W2 Professorship in Theoretical CS (Darmstadt, Germany)

Technische Universitaet Darmstadt

Im Fachbereich Informatik der Technischen Universitt Darmstadt ist eine

Universitaetsprofessur fuer Theoretische Informatik (W2)

(Kenn-Nr.: 215) zu besetzen.

Bewerberinnen und Bewerber sollen ber einen fundierten wissenschaftlichen
Hintergrund in der Informatik verfgen und auf den Gebieten der
Theoretischen Informatik und der Formalen Methoden besonders ausgewiesen
sein.

Von besonderem Interesse sind Forschungsschwerpunkte zu theoretischen
Grundlagen der Informatik sowie zur

* Formalen Modellierung und Verifikation, etwa im Bereich Secure/Trusted 
Applications and Systems
* Foundations of computing

Von den Bewerberinnen und Bewerbern wird die fr die Professur
erforderliche hohe wissenschaftliche Qualifikation, pdagogische Eignung,
Erfahrung in der Zusammenarbeit mit Wissenschaftlern anderer Disziplinen
und Anwendern, sowie die Bereitschaft, interdisziplinre Forschungsthemen
zu bearbeiten, vorausgesetzt.

Eine Beteiligung an den allgemeinen Lehraufgaben des Fachbereichs in der
Grundlehre und im Servicebereich wird erwartet.

Es gelten ferner die Einstellungsvoraussetzungen des 71 HHG. Neben einer
hervorragenden Befhigung zu eigenstndiger wissenschaftlicher Arbeit wird
eine entsprechende didaktische Eignung vorausgesetzt.

Das Beschftigungsverhltnis ist unbefristet oder zunchst befristet abhngig
von der Berufserfahrung. Es gelten die Regelungen des 70 Abs. 5 und 6 HHG.

Die Einstellung erfolgt im auertariflichen Angestelltenverhltnis mit einer
qualifikationsabhngigen Vergtung in Anlehnung an die W-Besoldung. Diese
wird zwischen Bewerber/in und Hochschulleitung verhandelt. Professorinnen
und Professoren, die bereits in einem Beamtenverhltnis stehen, knnen in
einem solchen weiterbeschftigt werden.

Die Technische Universitt Darmstadt strebt eine Erhhung des Anteils der
Frauen am Personal an und fordert deshalb besonders Frauen auf, sich zu
bewerben.

Schwerbehinderte werden bei gleicher Eignung bevorzugt.

Bewerbungen sind mit den blichen Unterlagen sowie den Namen von 3
Referenzen unter Angabe der o.g. Kenn-Nummer an


Technische Universitaet Darmstadt
Dekan des Fachbereichs 20
Prof. Alejandro Buchmann, Ph. D.
Hochschulstr. 10 
64289 Darmstadt


Bewerbungsschluss: 18.08.2005