W3 professorship in Theoretical Computer Science, Erlangen-Nuernberg (Germany)

The Department of Computer Science at the School of Engineering of the University of Erlangen-Nuremberg offers a faculty position (W3-Professorship) in Theoretical Computer Science.

The successful candidate will represent the discipline of Theoretical Computer Science in teaching and research.

Preferably, the main focus should include one of the areas
- Deduction,
- Program Verification and Synthesis,
- Algorithmic Game Theory and Learning Theory.

Willingness to participate in the basic education in Computer Science and in other related programs of study is assumed.

Requirements for the appointment include a university degree, teaching ability, a doctoral degree (Ph. D. or equivalent) and additional accomplishments in research demonstrated by, e.g., a Habilitation or an equivalent postdoctoral qualification.

Applicants should not be older than 52 years at the time of appointment. Exceptions are possible, but depend on the consent of the Bavarian Ministry of Science, Research and Art and the Bavarian Ministry of Finances (article 10, paragraph 3, sentence 2 BayHSchPG).

The University of Erlangen-Nuremberg is committed to increase the number of women in research and teaching positions and especially invites female scientists to apply.

In case of equal qualification, disabled applicants will be given preference.

Applications including CV, list of publications, presentations and teaching experience, copies of diplomas and certificates (university degrees), and copies of the three most relevant publications should be addressed to the dean of the School of Engineering (Dekan der Technischen Fakultaet), University of Erlangen-Nuremberg, Erwin-Rommel-Str. 60, 91058 Erlangen, Germany, no later than 1 February 2010. An additional electronic submission to rolf.wanka at informatik.uni-erlangen.de is appreciated.