The Department of Mathematics of the Darmstadt University of Technology (TUD) invites applications for a
to be filled 1.4.2007.
Applicants must be qualified in Applied Logic. Applications from candidates working in “Mathematical Proof Theory” (e.g. proof mining, proofs as programs, reverse mathematics, constructive formal systems) and/or “Computability in Mathematics” (e.g. effective algebra and analysis, symbolic computation) are particularly welcome.
Besides pedagogical skills the ability to conduct high quality scientific research must be proven by a PhD of exceptionally high quality and additional research papers. The duration of the PhD studies plus subsequent academic employment should in total not have exceeded 6 years.
Candidates should be willing to cooperate with colleagues from neighboring areas in the department as well as be open towards problems in other scientific areas such as Computer Science.
Duties of the successful candidate are to take part in the teaching provided by the department, to conduct original research in the area mentioned above and to further develop pedagogical skills. Willingness to take part in academic administrative issues is also expected.
The employment is initially for 3 years. After a successful evaluation as professor it will be extended for another 3 years.
Darmstadt University of Technology aims at increasing the number of women among the faculty and particularly encourages applications from women. Disabled candidates are considered — given equal qualification — with preference.
Applicants are asked to have 3 letters of recommendation sent to the Dekan of the Department of Mathematics of TUD.
Applications with the usual documents (CV, list of publications, teaching record) should be sent (referring to the Kenn-Nr. 337 of the position) by 31.12.2006 to: Dekan, Department of Mathematics, Darmstadt University of Technology, Schlossgartenstrasse 7, D-64289 Darmstadt, Germany.
The official German version of this advertisement can be found at http://www.tu-darmstadt.de/pvw/dez_iii/stellen/337.tud