Logic List Mailing Archive
Junior Professor Position (W1) in Mathematics / Applied Logic, Technische Universitaet Darmstadt, Germany
The Department of Mathematics of the Darmstadt University of
Technology (TUD) invites applications for a
Juniorprofessorship in Mathematics - Applied Logic
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. Willingess to
take part in academic administrative issues is also expected.
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