Logic List Mailing Archive

W2 professorship of Computational Logic, Dresden (Germany), Deadline: 15 October 2010

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 SchsHSG). (For information please phone +49 351 
463-38340.)

Applications from women are particularly welcome. The same applies to 
disabled people.

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).

Please send your application until October 15, 2010 (stamped arrival date 
of the university central mail service applies) to:
TU Dresden
Dekan der Fakultt Informatik
Herrn Prof. Dr. rer. nat. Andreas Pfitzmann
01062 Dresden
Germany