Postdoctoral positions in logics for intelligent agents, Luxembourg (Luxembourg)

The Individual and Collective Reasoning Group ICR (Computer Science) of Prof. Leon van der Torre at the University of Luxembourg is seeking outstanding postdocs to strengthen its team. The positions will be financed through a 2-year AFR postdoc grant.

Candidates should have a PhD in Computer Science, Computational Linguistics, Mathematics or similar, and a strong background in logic and knowledge representation. Areas of specific interest are:
- Logics for intelligent agents (robots, softbots)
- Normative multi-agent systems and deontic reasoning
- Argumentation, formal models of text (science, law)
- Belief and knowledge dynamics, epistemic trust/fact finding
- Foundations of defeasible reasoning (qualitative/quantitative)

A declaration of interest must be received before 7 July, 2014, with an application submitted before September 20th. For more information, see http://icr.uni.lu/ or email leon.vandertorre at uni.lu and emil.weydert at uni.lu.