[Event at CIG] Post-Doc in knowledge representation and reasoning

[Leon VAN DER TORRE]

The Individual and Collective Reasoning group - ICR (Department of Computer Science), led by Prof. Leon van der Torre, invites applications for

1 Post-Doc in knowledge representation and reasoning, automated theorem proving (especially for non-classical logics)

Your Role

• Conducting high-quality research within ICR projects
• Presentation of research findings at workshops and conferences
• Publication of scientific papers in peer-reviewed international journals
• Writing or helping to write project proposals
• Teaching in the context of ICR (30-60h/year)

What we expect from you

• A PhD degree in Computer Science, Artificial Intelligence, or a related discipline
• A background and experience in knowledge representation and reasoning
• Evidence of high-quality research documented by good publications
• Strong analytical capacity, creativity, and commitment
• Interest in interdisciplinary activities
• Optimally, interest in automated theorem proving
• Very good written and spoken English skills; proficiency in French or German is a plus
• Ability to attract research funding

Our Offer

• A dynamic, well-connected international research environment
• An 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, summer schools, etc.)

In Short

• Contract Type: Fixed-Term Contract (2 years, with possible extension)
• Work Hours: Full Time 40.0 Hours per Week
• Location: Belval
• Job Reference: UOL05484


How to apply

Applications should include:
• Curriculum Vitae
• Motivation letter detailing why and how your profile, experience, and research interests fit the position
• A brief research proposal stating how you intend to advance the state-of-the-art in KR and ATP with non-classical logics
• Contact information of two references
• List of publications

We ensure a full consideration for applications received by the 15th of March. Please apply online formally through the HR system: http://emea3.mrted.ly/3blyn. 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 the recruitment and career progression of our staff.

In return, you will get

• Multilingual and international character. A 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 labor 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,…

Further information
For further information concerning this position, please contact Prof. Leon van der Torre (leon.vandertorre at uni.lu) or Dr. Réka Markovich (reka.markovich at uni.lu).