W2 professorship of Computational Logic, Dresden (Germany)

At the Faculty of Computer Science, Institute of Artificial Intelligence (Dresden), the position of "Chair (W2) of Computational Logic" is to be filled at the earliest possible date. The successful candidate is required to represent the area mentioned above in research and teaching. The task in teaching consists of lectures (in English) in Computational Logic in the international master program in Computational Logic, lectures (in German) in Computer Science in the other programs of the faculty or for other faculties as well as the supervision of bachelor-, master- and PhD-students.

Please send your application before October 15, 2010 (stamped arrival date of the university central mail service applies). For more information, see http://www.inf.tu-dresden.de/index.php?node_id=42&ln=en.