[agents] JOB: 2 PhD positions in Knowledge Representation and Reasoning at the University of Luxembourg

[Réka MARKOVICH]

(sorry for crossposting)

The Individual and Collective Reasoning Group (ICR, Department of Computer Science, University of Luxembourg), led by Prof. Leon van der Torre, is looking for

• 2 PhD students (doctoral candidates) in Knowledge Representation and Reasoning


For both positions:

Your Role
• Writing a doctoral dissertation in the relevant area
• 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 degree in Computer Science or a related discipline
• Dedication to actively participate in the interdisciplinary activities of ICR
• Solid background in knowledge representation and reasoning, and some focus areas
• Strong analytical capacity, creativity, and commitment
• Very good written and spoken English skills

Our Offer
• A dynamic, well-connected international research environment
• Financial support for participating in scientific activities (workshops, conferences, summer schools, etc.)
• An attractive salary and employment contract including social insurance
• Enrolment in the Doctoral School in Science and Engineering (DSSE) with a wide offer of disciplinary and interdisciplinary courses
• The University of Luxembourg is an equal opportunity employer and applications by women are encouraged

Application Documents (in English):
• Letter of motivation
• A one-page sketch of research interests and intentions in line with ICR
• Full CV
• Transcript of academic records (including grades) and copies of diplomas
• Names of at least two references willing to write a letter of recommendation (they will be contacted by us)



Position specificities:

POSITION I

DigitaLisation, Law, And Innovation – DILLAN – is an interdisciplinary training program for Phd students in law and in computer science (https://wwwen.uni.lu/research/fdef/dl/dillan). It is funded by the PRIDE scheme of the FNR (National Research Fund, Luxembourg). In the context of DILLAN  we are looking for someone with a special interest or background in one or several of the following areas:

- Knowledge representation and reasoning, with applications to law
- Applied formal argumentation
- Explainable AI for trustworthy systems
- Integration of non-symbolic and symbolic techniques
- Experimental studies on the explanation of legal reasoning

• Ref: RCREQ0004365
• Starting date: March 2021(flexible)
• Duration: 3 years, extendable by 1 year
• Doctoral student status at the University of Luxembourg
• Deadline for applications: January 10, 2020
Application through the University of Luxembourg’s recruitment site: http://emea3.mrted.ly/2jry4



POSITION II

Deontic Logic for Epistemic Rights – DELIGHT – is a 3-year long project accepted for funding in the OPEN scheme of the National Research Fund Luxembourg. DELIGHT is an interdisciplinary project developing new formal frameworks extending deontic logic with epistemic and action notions in order to reason about epistemic rights as normative positions. In the context of DELIGHT we are looking for someone with a special interest or background in one or several of the following areas:

- Knowledge representation and reasoning, especially with applications to law and ethics
- Applied logics for AI
- Deontic logic and normative reasoning
- Epistemic or Action Logics
- Automated Theorem Proving

• Ref: RCREQ0004980
• Starting date: June 2021(flexible)
• Duration: 3 years, extendable by 1 year
• Doctoral student status at the University of Luxembourg
• Deadline for applications: January 10, 2020
Application through the University of Luxembourg’s recruitment site: http://emea3.mrted.ly/2l4zb



For further inquiries please contact Prof. Leon van der Torre and Dr. Réka Markovich:
leon.vandertorre at uni.lu and reka.markovich at uni.lu






-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20201208/b2f3bf8a/attachment-0001.html>