Logic List Mailing Archive

CfA: PhD position in Knowledge Representation and Reasoning, Luxembourg, deadline: 31 January 2025

PhD Position in Knowledge Representation and Reasoning (Department o
f 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 Knowled
ge Representation and Reasoning.


Areas of Interest:
We are seeking candidates with a strong interest or background in one or mo
re 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 chap
ter "Thirteen Challenges of Formal and Computational Argumentation" in the 
third volume of the Handbook of Formal Argumentation. Thechapter is avai
lable via https://yuliuwen.github.io/assets/files/HOFA3_Chapter_Thirteen_Ch
allenges.pdf



Your Tasks:

  *  Write a doctoral dissertation in Knowledge Representation and Reasoning
  *  Presentation of research findings at workshops andconferences
  *  Publication of scientific papers inpeer-reviewed international jour
nals
  *  Moderate participation inteaching activities



Your Profile

  *  A Master's degree in Computer Science or a related field
  *  A backgroundin 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 (workshop
s, 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 andap
plications 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: May 2025 (with flexibility)
  *  Application deadline: January 31, 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 diplom
as
  *  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 process
ed 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.



--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php