Job: Professor position, Computational Logic, Dresden

Thierry Hamon thierry.hamon at UNIV-PARIS13.FR
Thu Sep 2 20:01:50 UTC 2010

Date: Fri, 20 Aug 2010 20:37:37 +0200
From: Bertram Fronhöfer <Bertram.Fronhoefer at>
Message-ID: <20100820183732.GA5751 at>

Ausschreibung in Englisch

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

Message diffuse par la liste Langage Naturel <LN at>
Informations, abonnement :
English version       : 
Archives                 :

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  :

More information about the Ln mailing list