Logic List Mailing Archive

Temporary professorship (W2; 5 years) in Applied Logic, Darmstadt (Germany), Deadline: 14 Feb 2008

Im Fachbereich Mathematik ist zum 01.07.2008 eine Universit�tsprofessur
 
f�r Mathematik - Angewandte Logik (Kenn-Nr.: 20) befristete auf 5 Jahre z
u 
besetzen.

Bewerberinnen und Bewerber sollen durch einschl�gige Forschungsarbeiten i
n 
den Bereichen Berechenbarkeitstheorie und/oder Beweistheorie mit 
Anwendungen in der Analysis wissenschaftlich hervorragend ausgewiesen 
sein. Gedacht ist an: Berechenbare Analysis, Komplexit�t analytischer 
Probleme, Proof Mining. Dar�ber hinaus sind p�dagogische Eignung und 
didaktische F�higkeiten Voraussetzung.

Sowohl die Bereitschaft mit Kollegen verwandter Arbeitsgebiete am 
Fachbereich zusammenzuarbeiten, als auch Aufgeschlossenheit f�r 
Fragestellungen aus anderen Wissenschaftsbereichen, etwa der Informatik, 
werden erwartet.

Aufgaben des/der Stelleninhabers/Stelleninhaberin sind die Beteiligung in
 
der Lehre des Fachbereichs, eigenst�ndige Forschung in der genannten 
Forschungsrichtung. Bereitschaft zur Mitarbeit in der akademischen 
Selbstverwaltung wird erwartet. Bewerberinnen und Bewerber sollen 
habilitiert sein oder vergleichbare wissenschaftliche Leistungen vorweisen
 
k�nnen. Es gelten ferner die Einstellungsvoraussetzungen des �71 HHG.

Die Einstellung erfolgt im au�ertariflichen Angestelltenverh�ltnis mit
 
einer qualifikationsabh�ngigen Verg�tung in Anlehnung an die W2-Besoldu
ng. 
Diese wird zwischen Bewerber/in und Hochschulleitung verhandelt. 
Professorinnen und Professoren, die bereits in einem Beamtenverh�ltnis 
stehen, k�nnen in einem solchen weiterbesch�ftigt werden.

Die Technische Universit�t Darmstadt strebt eine Erh�hung des Anteils d
er 
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 (Lebenslauf, Zeugnisse, 
Schriftenverzeichnis und einer Aufstellung �ber bisherige Leistungen in
 
der Lehre und den wissenschaftlichen T�tigkeiten) unter Angabe der 
Kenn-Nummer zu senden an:

Fachbereich Mathematik
Dekan
Schlossgartenstr. 7
64289 Darmstadt

Bewerbungsschluss: 14.02.2008