Logic List Mailing Archive

Postdoc (3y) in "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). We are looking for a:

POSTDOCTORAL RESEARCHER IN COMPUTER SCIENCE (M/F)
- 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
see:

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

 Offer:

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 ? and 53 300 ? annually after taxe
s).

Profile:

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 30th 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/