<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<span style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">The Individual and Collective Reasoning group - ICR (Department of Computer Science), led by Prof. Leon van der Torre, invites
applications for</span>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
1 Post-Doc in knowledge representation and reasoning, automated theorem proving (especially for non-classical logics)</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
Your Role</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Conducting high-quality research within ICR projects</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Presentation of research findings at workshops and conferences</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Publication of scientific papers in peer-reviewed international journals</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Writing or helping to write project proposals</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Teaching in the context of ICR (30-60h/year)</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
What we expect from you</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• A PhD degree in Computer Science, Artificial Intelligence, or a related discipline</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• A background and experience in knowledge representation and reasoning</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Evidence of high-quality research documented by good publications</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Strong analytical capacity, creativity, and commitment</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Interest in interdisciplinary activities</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Optimally, interest in automated theorem proving</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Very good written and spoken English skills; proficiency in French or German is a plus</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Ability to attract research funding</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
Our Offer</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• A dynamic, well-connected international research environment</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• An opportunity to be part of an innovative academia-industry partnership with access to cutting-edge research facilities</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Financial support for participating in scientific activities (workshops, conferences, summer schools, etc.)</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
In Short</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Contract Type: Fixed-Term Contract (2 years, with possible extension)</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Work Hours: Full Time 40.0 Hours per Week</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Location: Belval</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Job Reference: UOL05484</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
How to apply</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
Applications should include:</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Curriculum Vitae</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Motivation letter detailing why and how your profile, experience, and research interests fit the position</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• A brief research proposal stating how you intend to advance the state-of-the-art in KR and ATP with non-classical logics</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• Contact information of two references</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• List of publications</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
We ensure a full consideration for applications received by <span dir="ltr">the 15th of March</span>. Please apply online formally through the HR system: <span dir="ltr">http://emea3.mrted.ly/3blyn</span>. Applications by email will not be considered.</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
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.</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
In return, you will get</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• 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).</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• 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.</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
• 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,…</div>
<div style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
<br class="ContentPasted0">
</div>
<div class="ContentPasted0" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">
Further information</div>
<span style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">For further information concerning this position, please contact Prof. Leon van der Torre (</span><span dir="ltr" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">leon.vandertorre@uni.lu</span><span style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">)
or Dr. Réka Markovich (</span><span dir="ltr" style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">reka.markovich@uni.lu</span><span style="-webkit-text-size-adjust: auto; font-family: Helvetica; font-size: 14.666667px; background-color: rgb(255, 255, 255);">).</span>
<div dir="ltr"></div>
</body>
</html>