Postdoctoral position on automated reasoning with legal entities, Luxembourg (Luxembourg)

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.

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).

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, with evidence of high quality research including a demonstrated track record in quality publications, an da solid background in at least one of: computational logic, proof theory, automated reasoning, normative logics. 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.