ICR (Individual and Collective Reasoning) is offering two full-funded PhD positions starting in 2020 October.

ICR is an interdisciplinary research team at the University of Luxembourg which is driven by the insight that intelligent systems (like humans) are characterized not only by their individual reasoning capacity but also by their social interaction potential. Its overarching goal is to develop and investigate comprehensive formal models and computational realizations of individual and collective reasoning and rationality.ICR is anchored in the Department of Computer at the Faculty of Science, Technology and Medicine (FSTM). The group, which is led by Leon van der Torre, hosted more than 20 researchers in 2019 and is strongly engaged in international cooperation.

Our research areas include normative reasoning in multi-agent contexts, logics for intelligent agents/robots, legal knowledge representation and reasoning, formal/computational argumentation and defeasible reasoning with uncertain/inconsistent information, with applications to AI, law, and the formal sciences. In 2018, ICR also started to develop Space AI, which will contribute to the UL priority of space education and research.

(i) One of the opening positions is part of the NORFACE program INformation in the EU’s DIgitalized Governance (INDIGO). This program is executed in an international network consisting of legal and computer science departments. INDIGO is a project on pressing issues affecting the future of democratic governance in Europe and the relation between the individual and the public sphere. INDIGO undertakes a structured analysis and develops an innovative approach to analyzing and addressing the impact of digitalization of the multijurisdictional implementation of policies in Europe through joint information systems and the use of advanced machine learning systems based on algorithms on possibilities of steering of decision-making by democratic legislation, individual participation, the protection of fundamental rights and the enforcement of the rule of law through independent judicial review. The PhD project at the ICR is about formal methods in explainable AI in the light of the democratic and constitutional values of the European Union.

(ii) The other opening position in part of the Luxembourgish PRIDE program DIgitaLization Law And Innovation (DILLAN). DILLAN brings together researchers from various fields of law with those having a background in artificial intelligence (AI) and computer science, in order to allow for a common effort to study possibilities and regulatory needs for adapting our European multi-level legal system to the opportunities and challenges of the ongoing digital revolution. It will contribute to the design of research-informed pathways in order to ensure that digitalization will not only enhance efficiency in problem solving, but also protect the rule of law, democracy, transparency and the protection of fundamental individual rights. The PhD project at the ICR is about formal argumentation in explainable AI for a trustworthy legal system.

We expect applicants to both positions with an MSc in Computer Science or related fields, with an excellent command over logic or formal argumentation and a strong interest in interdisciplinary research, especially related to law. Proficiency in Academic English is necessary, also the ability to work both independently and as part of a team, with good organizational and communication skills.

Deadline: TBD

Contacts: and

2 PhD Position, Knowledge Representation and Reasoning, University of Luxembourg

This call is now closed, we are not accepting applications for these positions anymore. The call above is still open.

The Individual and Collective Reasoning Group ICR (Department of Computer Science, University of Luxembourg), led by Prof. Leon van der Torre, is looking for TWO:

• PhD student (doctoral candidate) in Knowledge Representation and Reasoning

with a special interest and background in one or several of the following areas:
- Belief dynamics for AIs,
- Causal reasoning, Logic-based Explainable AI,
- Deontic logic, AI Ethics,
- Formal argumentation, nonmonotonic reasoning
- Reasoning under uncertainty and inconsistency

• Ref: F1-070075 and F1-070061
• Starting date: September 1, 2020 (or earlier for one of the positions)
• Duration: 3 years, extendable by 1 year
• Doctoral student status at the University of Luxembourg
• Deadline for applications: April 30, 2020 (now closed)

Your Role

• Writing a doctoral dissertation in the relevant area
• Presentation of research findings at workshops and conferences
• Publication of scientific papers in peer-reviewed international journals
• Moderate participation in teaching activities

For further inquiries please contact Prof. Leon van der Torre:

Your Profile

• A Master degree in Computer Science or a related discipline
• Dedication to actively participate in the interdisciplinary activities of ICR
• Solid background in knowledge representation and reasoning, and some focus areas
• Strong analytical capacity, creativity, and commitment
• Good written and spoken English skills

Our Offer

• A dynamic, well-connected international research environment
• Financial support for participating in scientific activities (workshops, conferences, summer schools, etc.)
• An attractive salary and employment contract including social insurance
• Enrolment in the Doctoral School in Science and Engineering (DSSE) with a wide offer of disciplinary and interdisciplinary courses
• The University of Luxembourg is an equal opportunity employer and applications by women are encouraged

Application Documents (in English):

• Letter of motivation
• A one-page sketch of research interests and intentions in line with ICR
• Full CV
• Transcript of academic records (including grades) and copies of diplomas
• Names of at least two references willing to write a letter of recommendation (they will be contacted by us)

All applications should be sent via this link:
Deadline: April 30, 2020 (now closed)

Further Information:

Scientific questions should be addressed directly to Prof. Leon van der Torre (