Logic List Mailing Archive

CfA: PhD in Knowledge Representation and Reasoning, University of Luxembourg, deadline: May 15

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