Logic List Mailing Archive

Postdoctoral position in automated reasoning, Luxembourg (Luxembourg), Deadline: 15 Feb 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).

The University of Luxembourg is an international research university with a 
distinctly multilingual and interdisciplinary character. The University was 
founded in 2003 and counts more than 6,700 students and more than 2,000 
employees from around the world. The University’s faculties and 
interdisciplinary centres focus on research in the areas of Computer Science 
and ICT Security, Materials Science, European and International Law, Finance 
and Financial Innovation, Education, Contemporary and Digital History. In 
addition, the University focuses on cross-disciplinary research in the areas of 
Data Modelling and Simulation as well as Health and System Biomedicine. Times 
Higher Education ranks the University of Luxembourg #3 worldwide for its 
“international outlook,” #20 in the Young University Ranking 2021 and among the 
top 250 universities worldwide.

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 
• 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 
yearly gross salary for every Postdoctoral Researcher at the UL is EUR 75.285 
(full time)
• 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
• Contract type: fixed-term 14 months
• Work hours: full time 40.0 hours per week
• Location: MNO, Belval, Esch sur Alzette, Luxembourg
• Job Reference: UOL04707

Please apply ONLINE formally through the HR system, via 

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.

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

[LOGIC] mailing list
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