PhD position in Knowledge Representation and Reasoning, Luxembourg (Luxembourg)

The Individual and Collective Reasoning Group (ICR), led by Prof. Leon van der Torre, is inviting applications for a PhD candidate position in Knowledge Representation and Reasoning.  

We are seeking candidates with a strong interest or background in one or more of the following areas: * Knowledge Representation and Reasoning * Foundations of Formal Argumentation * Deontic Logic and Normative Multiagent Systems * Applications of Formal & Computational Argumentation * Automated Formal & Computational Argumentation * Integration of Non-symbolic and Symbolic Techniques.

Details: * Contract Type: Fixed Term Contract 36 months, extendable by 1 year * Work Hours: Full Time 40.0 Hours per Week * Location: Belval * Internal Title: Doctoral researcher * Starting date: May 2025 (with flexibility) * Application deadline: January 31, 2025.