At the Faculty of Computer Science, Institute of Artificial Intelligence, the position

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.

In research, applicants are expected to have made novel contributions to the logical foundations of declarative programming, semantic technologies, constraint and satisfiability problems, verification, intelligent autonomous agents, cognitive systems, the integration of virtual and physical systems, machine learning or natural language processing, their implementation in running systems as well as their application. International publications and contacts as well as the participation in research projects in one or several of the above-mentioned subareas are expected.

The applicants must fulfill the employment qualification requirements of the Higher Education Act of Saxony (namely of § 58 SächsHSG). Applications from women are particularly welcome. The same applies to disabled people. (For information please phone +49 351 463 38340.)

Please send your application until October 15, 2010 (stamped arrival date of the university central mail service applies) to: TU Dresden, Dekan der Fakultät Informatik, Prof. Dr. rer. nat. Andreas Pfitzmann, 01062 Dresden, Germany. Your application should contain the usual documents (CV, transcripts and certificates, lists of scientific publications, teaching activities and projects funded by third parties, teaching evaluation reports).