Logic List Mailing Archive

Postdoctoral position on automated reasoning with legal entities, Luxembourg (Luxembourg), Deadline: 31 Jan 2022

1 post-doc position in Automated Reasoning

The goal of the project "Automated Reasoning with Legal Entities" (AuReLeE) is 
to provide effective and general means for the automation of normative 
reasoning processes based on legal knowledge bases. To this end, in the project 
the hired Postdoc will design (and optimally implement) reasoning mechanisms 
for normative logics, in particular norm-based deontic logics. These decision 
procedures will be combined with a flexible approach to import and re-use 
existing knowledge bases for their employment as underlying contexts for the 
normative reasoning tasks. The results of AuReLeE aim at allowing the full 
utilization of existing legal knowledge bases? potential for compliance 
checking. Please see https://aurelee.net for details on the project.

AuReLeE is conducted at the Faculty of Science, Technology and Medicine of the 
University of Luxembourg. It is hosted by the Individual and Collective 
Reasoning (ICR) research group at the Department of Computer Science. AuReLeE 
is funded by the Luxembourg National Research Fund (FNR) under grant CORE 
AuReLeE (C20/IS/14616644).

Your Role

? Conducting high-quality research within the AuReLeE project
? Presentation of research findings at workshops and conferences
? Publication of scientific papers in peer-reviewed international journals
? Collaborate with project partners

Expected profile

? A PhD degree (or equivalent) in Computer Science or Mathematics, with a focus 
on computational logic, automated reasoning, symbolic logic or artificial 
intelligence.
? Evidence of high quality research including a demonstrated track record in 
quality publications
? Solid background in at least one of: computational logic, proof theory, 
automated reasoning, normative logics
? Strong analytical capacity, creativity, and commitment
? Very good written and spoken English skills; proficiency in French or German 
is a plus

Our Offer

? A dynamic, well-connected international research environment
? An exceptional opportunity to be part of an innovative academia-industry 
partnership with access to cutting edge research facilities
? Financial support for participating in scientific activities (workshops, 
conferences, schools, etc.)
? An attractive salary and employment contract including social insurance
? The University of Luxembourg is an equal opportunity employer and 
applications by women are encouraged

Application Documents (in English):

? Academic CV
? Motivation letter
? Contact information of two references (we might contact them)
? List of publications

In Short:

? Starting date: As soon as possible after 01.01.2022
? Contract type: fixed-term 14 months
? Work hours: full time 40.0 hours per week
? Location: MNO, Belval, Esch sur Alzette, Luxembourg

For further information concerning this position, please contact Leon van der 
Torre (leon.vanderorre@uni.lu) or Alexander Steen (alexander.steen@uni.lu). 
Deadline for applications is 31.01.2022.

--
[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