Logic List Mailing Archive

Postdoc position in Computer Science ("Logic for Knowledge Representation"), Luxembourg

The University of Luxembourg, which was founded in 2003, is a research
university at the heart of Europe. The Computer Science and Communication
Research (CSC) research unit, which belongs to the Faculty of Science,
Technology and Communication, is located in the city Luxembourg, next to
the European Institutions (see _http://www.uni.lu <http://www.uni.lu/>_).
We are looking for a:


- 3-year contract, 40 hours/week -

The researcher will participate in research in the areas "logic for
knowledge representation" or "logic for multi-agent systems", at the
Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS)  
within the CSC. The ILIAS team performs pure and applied research in
artificial intelligence, and the vacant position is created in the context
of the new research axe on knowledge representation and multi-agent
systems, led by Leon van der Torre and Emil Weydert. For more information


      A challenging job in a dynamic and ambitious University;

      International working environment for collaborative and
      interdisciplinary research;

      Possible contribution to the supervision of master and PhD
      students, and teaching activities;

      A competitive salary (between 41 600 EUR and 53 300 EUR annually
      after taxes).

      Candidates hold a PhD, preferably in computer science (or
      equivalent), and obtained their PhD at most 12 years ago;

      Candidates are experienced and enthusiastic postdoctoral
      researchers with an excellent track record on logic for artificial
      intelligence; Of particular interest are candidates with special
      expertise in logic for knowledge representation or logic for
      multi-agent systems;

      Candidates should possess good written and oral English skills;
      Working knowledge in German and/or French is an advantage.

Interested candidates are asked to send their full application (cover
letter, curriculum vitae, a list of publications, the names of three
referees) before *May 30^th 2006* with the Reference:  
*UL/ASS/CHERCH/COMSC/LV/04/2006 *to:

Universit? du Luxembourg - Campus Limpertsberg - Service des Ressources
Humaines - 162A, avenue de la Fa?encerie L-1511 Luxembourg.

*For further information* on this position, please contact:

Prof. Dr. Leon Van der Torre

E-mail: leon.vandertorre@uni.lu

Homepage: http://agamemnon.uni.lu/ILIAS/vandertorre/