Post-doctoral researcher position in Automated Reasoning

University of Luxembourg


February 15, 2022


The University About us...

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.

The Faculty of Science, Technology and Medicine (FSTM) contributes multidisciplinary expertise in the fields of Mathematics , Physics , Engineering , Computer Science , Life Sciences and Medicine. Through its dual mission of teaching and research, the FSTM seeks to generate and disseminate knowledge and train new generations of responsible citizens, in order to better understand, explain and advance society and environment we live in.

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: // 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
  • What we expect from you…
  • 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.)
  • In Short...
  • Contract Type: Fixed Term Contract 14 Month
  • Work Hours: Full Time 40.0 Hours per Week
  • Earliest starting date: March 2022
  • Location: Belval
  • Job Reference: UOL04707
  • The yearly gross salary for every Postdoctoral Researcher at the UL is EUR 75.285 (full time)

    How to apply...

    Applications in English should include:

  • Academic CV
  • Motivation letter
  • Contact information of two references (we might contact them)
  • List of publications
  • We ensure a full consideration for applications received by 15/02/2022.

    Please apply ONLINE formally through the HR system. Applications by email will not be considered.

    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.

    In return you will get…
  • Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the “University of the Greater Region” (UniGR).
  • A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure.
  • A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs …

  • Find out more about the University

  • Addresses, maps & routes to the various sites of the University
  • Further information...

    For further information concerning this position, please contact Leon van der Torre ( or Alexander Steen (

    Similar Jobs

    University of Luxembourg

    Luxembourg Jan 15, 2022

    Add to favorites

    Doctoral Candidate (PhD student) in Graph Representation Learning

    The University of Luxembourg is an international research university University was founded in 2003 and counts more than 6,700 students and more interdisciplinary centres focus on research in the areas of Computer Science and ICT...

    Add to favorites

    Assistant Professor In A Group Of Research And Didactic Workers

    Research Field: Engineering Location: Poland › Cracow We are searching for a person who has PhD in the field of Materials an information about research and teaching achievements, list of The AGH University will be...

    Maastricht University

    Netherlands Jan 5, 2022

    Add to favorites

    Assistant Professor in Computer Science with a focus on Natural Language Processing

    expertise in applying NLP in areas such as human-machine interaction, As an assistant professor, you will undertake cutting-edge research in an integrated with ongoing research in the department. Supervise students at all levels (BSc, MSc,...

    University of Hohenheim

    Germany Jan 5, 2022

    Add to favorites

    Scientific Employee (m/w/d, 75%, TV-L E13, from 01.03.2022)

    The University of Hohenheim is an innovative and research-intensive In an interdisciplinary team of researchers and cooperating practice organisations, your tasks primarily include: - Degree in business / vocational education, business informatics, work/organisational psychology or...

    Jönköping University

    Sweden Jan 5, 2022

    Add to favorites

    Doctoral Student in Computer Science

    We offer attractive technical education at undergraduate and graduate levels and conduct advanced research in several technological areas. with the surrounding society to develop new technology and spread knowledge to The Jönköping AI Lab (JAIL)...

    University of Tartur

    Estonia Dec 31, 2021

    Add to favorites

    Research Fellow of Computational imaging

    Carrying out cutting edge research in Computational Imaging (eg. Turning fundamental research into applicable solutions and cooperating with See also requirements for teaching and research staff. Internationally renown research in the field of photonics, image...

    University of Southern Denmark

    Denmark Jan 15, 2022

    Add to favorites

    Postdoc Position in Statistical Learning Theory for Causal Inference

    Postdoc Position in Statistical Learning Theory for Causal Inference The Data Science and Statistics Group, Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark invites applications for a postdoc position within...

    Add to favorites

    Research Assistant in Artificial Intelligence

    Research Assistant in Artificial Intelligence mathematical background and with strong programming experience, who is position is to help with computational experiments involving a new algebraic Candidates with Masters degree are welcome to apply as well....