The Individual and Collective Reasoning Group (ICR) in the Computer Science and Communications research unit (CSC) at the University of Luxembourg is looking for a:

*Doctoral candidate (PhD student) in Knowledge Representation and Reasoning (M/F)*

*   Ref: F1-070075
* 14 months fixed-term contract, extendable to 36 months in total, full-time (40h/week)
* Start date as soon as possible
* Student status

The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg. ICR is active in several strongly interrelated areas, notably

* Normative multi-agent systems and deontic/legal reasoning
* Logic-based knowledge representation and reasoning
* Argumentation, nonmonotonic reasoning, and belief revision
* Autonomous intelligent agents and cognitive robotics

Your Role

* Write a doctoral dissertation in a relevant area
* Disseminate results through scientific publications
* Assist in ICR teaching activities

For further inquiries please contact Prof. Leon van der Torre, leon.vandertorre@uni.lu

Your Profile

* A Master degree in Computer Science or a related discipline
* An interest in interdisciplinary research, and in both, conceptual and formal aspects
* Background in knowledge representation and reasoning
* Strong analytical capacities, creativity, and commitment
* Excellent written and oral English skills.

Further Information

You will have the possibility to work in an excellent, very international and well-connected research environment on a new campus.

Applications should be written in English and include the following documents:

* An introduction letter indicating your motivation,
* A detailed Curriculum vitae,
* A transcript of the grades you received in your Bachelor and Master,
* A short description of your master thesis,
* Three names of references
* A description of possible doctoral research interests

Please apply online by September 15, 2016.

http://emea3.mrted.ly/153t7