Logic List Mailing Archive

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

PhD Position inKnowledgeRepresentationand 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 inKnowledgeRepresentationand Reasoning. 

Areas of Interest: We are seeking candidates with a strong interest or background in one or more of the following areas:

  *  KnowledgeRepresentationand 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. Thechapter is available via https://yuliuwen.github.io/assets/files/HOFA3_Chapter_Thirteen_Challenges.pdf



Your Tasks:

  *  Write a doctoral dissertation inKnowledgeRepresentationand Reasoning
  *  Presentation of research findings at workshops andconferences
  *  Publication of scientific papers inpeer-reviewed international journals
  *  Moderate participation inteaching activities



Your Profile

  *  A Master's degree in Computer Science or a related field
  *  A backgroundinKnowledgeRepresentationand 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, andapplications by women are
     encouraged



In Short

  *  Contract Type: Fixed Term Contract36 months, extendable by 1 year
  *  Work Hours: Full Time40.0 Hours per Week
  *  Location:Belval
  *  Internal Title:Doctoral researcher
  *  Startingdate: 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 ofComputer 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