Job: Professor position, Computational Logic, Dresden

[Thierry Hamon]

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



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 cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------