Logic List Mailing Archive

Two PhD student positions in Knowledge Representation & Reasoning, Luxembourg (Luxembourg), Deadline: 10 Jan 2021

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@uni.lu and reka.markovich@uni.lu
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam