Logic List Mailing Archive

W2 Professorship in Computational Logic, Dresden (Germany), Deadline: 15 Oct 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). 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 
Fakultt 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).