PhD Position in Knowledge Representation and Reasoning (Department of Computer Science) University of 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. Areas of Interest: 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 To prepare their research proposal, applicants are advised to read the chapter "Thirteen Challenges of Formal and Computational Argumentation" in the third volume of the Handbook of Formal Argumentation. The chapter is available via https://yuliuwen.github.io/assets/files/HOFA3_Chapter_Thirteen_Challenges.pdf Your Tasks: * Write a doctoral dissertation in Knowledge Representation and Reasoning * Presentation of research findings at workshops and conferences * Publication of scientific papers in peer-reviewed international journals * Moderate participation in teaching activities Your Profile * A Master's degree in Computer Science or a related field * A background in Knowledge Representation and Reasoning is preferred * Interest in interdisciplinary research within our group * Strong analytical skills, creativity, and commitment * Very good written and spoken English skills We offer * A dynamic, well-connected international research environment * Financial support for participation in scientific activities (workshops, conferences, summer schools, etc.) * Competitive salary and employment contract with social insurance * Enrolment in the Doctoral School in Computer Science, offering a wide range of disciplinary and interdisciplinary courses * The University of Luxembourg is an equal opportunity employer, and applications by women are encouraged In Short * 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: September 2025 (with flexibility) * Application deadline: May 15, 2025 Further Information Applications will include: * Full Curriculum Vitae * Motivation letter * A one-page research proposal (referencing the HOFA3 chapter) * Transcript of academic records (including grades) and copies of diplomas * Names and contact details of at least two references willing to write recommendation letters (they will be contacted by us) Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system (here is the link). Applications by email will not be considered. The University of Luxembourg embraces inclusion and diversity as key values. We are fully committed to removing any discriminatory barrier related to gender, and not only, in recruitment and career progression of our staff. Liuwen Yu PhD https://yuliuwen.github.io/ Postdoctoral Researcher Department of Computer Science Faculty of Science, Technology and Medicine UNIVERSITÉ DU LUXEMBOURG -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
