PhD in Knowledge Representation and Reasoning

About the FSTM

The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.

The Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine.
Through its dual mission of teaching and research, the FSTM seeks to generate and disseminate knowledge and train new generations of responsible citizens in order to better understand, explain and advance society and environment we live in.

Your role

• 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 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.

We offer

• Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the "University of the Greater Region" (UniGR)
• A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure
• A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs …

How to apply

Applications should include:

• Curriculum Vitae
• Cover 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. To ensure full consideration, candidates should apply by January 31, 2025 ONLINE formally through the HR system. Applications by Email will not be considered.

All qualified individuals are encouraged to apply. In line with our values, the University of Luxembourg promotes an inclusive culture. We encourage applications from individuals of all backgrounds and are dedicated to upholding equality and respect for our employees and students.

General information:

• Contract Type: Fixed Term Contract 36 Month
• Starting date: May 2025 (with flexibility)
• Work Hours: Full Time 40.0 Hours per Week
• Location: Campus Belval
• Internal Title: Doctoral Researcher
• Job Reference: UOL07017

The yearly gross salary for every PhD at the UL is EUR 40952 (full time).