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 Universittsprofessur
 
fr Mathematik - Angewandte Logik (Kenn-Nr.: 20) befristete auf 5 Jahre z
u 
besetzen.

Bewerberinnen und Bewerber sollen durch einschlgige Forschungsarbeiten i
n 
den Bereichen Berechenbarkeitstheorie und/oder Beweistheorie mit 
Anwendungen in der Analysis wissenschaftlich hervorragend ausgewiesen 
sein. Gedacht ist an: Berechenbare Analysis, Komplexitt analytischer 
Probleme, Proof Mining. Darber hinaus sind pdagogische Eignung und 
didaktische Fhigkeiten Voraussetzung.

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

Aufgaben des/der Stelleninhabers/Stelleninhaberin sind die Beteiligung in
 
der Lehre des Fachbereichs, eigenstndige 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
 
knnen. Es gelten ferner die Einstellungsvoraussetzungen des 71 HHG.

Die Einstellung erfolgt im auertariflichen Angestelltenverhltnis mit
 
einer qualifikationsabhngigen Vergtung in Anlehnung an die W2-Besoldu
ng. 
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 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 Ttigkeiten) unter Angabe der 
Kenn-Nummer zu senden an:

Fachbereich Mathematik
Dekan
Schlossgartenstr. 7
64289 Darmstadt

Bewerbungsschluss: 14.02.2008