<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="direction: ltr; text-align: center; text-indent: 0px; line-height: normal; background-color: white; margin: 0px; font-family: Helvetica, Arial, sans-serif, Arial, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 14.67px; color: black;">
<b>PhD Position in Knowledge Representation and Reasoning (Department of Computer Science)</b></div>
<div class="elementToProof" style="direction: ltr; text-align: center; text-indent: 0px; line-height: normal; background-color: white; margin: 0px; font-family: Helvetica, Arial, sans-serif, Arial, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 14.67px; color: black;">
<b>University of Luxembourg</b></div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px; font-family: Helvetica, Arial, sans-serif, Arial, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 14.67px; color: black;">
<br>
The Individual and Collective Reasoning Group (ICR), led by Prof. Leon van der Torre, is inviting applications for a PhD candidate position in Knowledge Representation and Reasoning.</div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px; font-family: Helvetica, Arial, sans-serif, Arial, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 14.67px; color: black;">
</div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px; font-family: Helvetica, Arial, sans-serif, Arial, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 14.67px; color: black;">
<br>
</div>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b>Areas of Interest:</b><br>
We are seeking candidates with a strong interest or background in one or more of the following areas:</span></p>
<ul data-editing-info="{"applyListStyleFromLevel":true}" style="direction: ltr; text-align: left; list-style-position: initial; list-style-type: disc; background-color: rgb(255, 255, 255);">
<li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Knowledge Representation and Reasoning</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Foundations of Formal Argumentation</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Deontic Logic and Normative Multiagent Systems</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Applications of Formal & Computational Argumentation</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Automated Formal & Computational Argumentation</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Integration of Non-symbolic and Symbolic Techniques </div>
</li></ul>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;">To prepare their research proposal, applicants are advised to read the chapter “Thirteen Challenges of Formal and Computational Argumentation” in the third volume
of the <i>Handbook of Formal Argumentation</i>. The chapter is available via <u>
<a href="https://yuliuwen.github.io/assets/files/HOFA3_Chapter_Thirteen_Challenges.pdf" id="OWA8fbebe54-b72a-1512-7430-ff4661a13ead" class="OWAAutoLink" title="原始 URL: https://yuliuwen.github.io/assets/files/HOFA3_Chapter_Thirteen_Challenges.pdf。如果你信任此链接, 请单击或点击。" data-auth="NotApplicable" data-linkindex="0" style="color: black; margin: 0px;">https://yuliuwen.github.io/assets/files/HOFA3_Chapter_Thirteen_Challenges.pdf</a></u></span></p>
<p class="elementToProof" style="direction: ltr; text-align: justify; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"> </span></p>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b>Your Tasks:</b></span></p>
<ul data-editing-info="{"applyListStyleFromLevel":true}" style="direction: ltr; text-align: left; list-style-position: initial; list-style-type: disc; background-color: rgb(255, 255, 255);">
<li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Write a doctoral dissertation in Knowledge Representation and Reasoning</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Presentation of research findings at workshops and conferences</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Publication of scientific papers in peer-reviewed international journals</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Moderate participation in teaching activities</div>
</li></ul>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"> </span></p>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b>Your Profile</b></span></p>
<ul data-editing-info="{"applyListStyleFromLevel":true}" style="direction: ltr; text-align: left; list-style-position: initial; list-style-type: disc; background-color: rgb(255, 255, 255);">
<li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">A Master’s degree in Computer Science or a related field</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">A background in Knowledge Representation and Reasoning is preferred</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Interest in interdisciplinary research within our group</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Strong analytical skills, creativity, and commitment</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Very good written and spoken English skills</div>
</li></ul>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px 0px 0px 48px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"> </span></p>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b>We offer</b></span></p>
<ul data-editing-info="{"applyListStyleFromLevel":true}" style="direction: ltr; text-align: left; list-style-position: initial; list-style-type: disc; background-color: rgb(255, 255, 255);">
<li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">A dynamic, well-connected international research environment</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Financial support for participation in scientific activities (workshops, conferences, summer schools, etc.)</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Competitive salary and employment contract with social insurance</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Enrolment in the Doctoral School in Computer Science, offering a wide range of disciplinary and interdisciplinary courses</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">
The University of Luxembourg is an equal opportunity employer, and applications by women are encouraged</div>
</li></ul>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b> </b></span></p>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b>In Short</b></span></p>
<ul style="direction: ltr; text-align: left; margin-top: 0px; margin-right: 0px; margin-left: 40px; padding-left: 0px; background-color: rgb(255, 255, 255);">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 11pt; color: black; direction: ltr; text-indent: 0px; line-height: normal; margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont;">Contract Type: Fixed Term Contract 36 months, extendable by 1 year</span></li><li style="font-family: Calibri, sans-serif; font-size: 11pt; color: black; direction: ltr; text-indent: 0px; line-height: normal; margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont;">Work Hours: Full Time 40.0 Hours per Week</span></li><li style="font-family: Calibri, sans-serif; font-size: 11pt; color: black; direction: ltr; text-indent: 0px; line-height: normal; margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont;">Location: Belval</span></li><li style="font-family: Calibri, sans-serif; font-size: 11pt; color: black; direction: ltr; text-indent: 0px; line-height: normal; margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont;">Internal Title: Doctoral researcher</span></li><li style="font-family: Calibri, sans-serif; font-size: 11pt; color: black; direction: ltr; text-indent: 0px; line-height: normal; margin: 0px;">
<div class="elementToProof" style="font-family: Arial, sans-serif, serif, EmojiFont;">
Starting date: September 2025 (with flexibility)</div>
</li><li style="font-family: Calibri, sans-serif; font-size: 11pt; color: black; direction: ltr; text-indent: 0px; line-height: normal; margin: 0px;">
<div class="elementToProof" style="font-family: Arial, sans-serif, serif, EmojiFont;">
Application deadline: May 15, 2025 </div>
</li></ul>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><b>Further Information</b></span></p>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;">Applications will include:</span></p>
<ul data-editing-info="{"applyListStyleFromLevel":true}" style="direction: ltr; text-align: left; list-style-position: initial; list-style-type: disc; background-color: rgb(255, 255, 255);">
<li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Full Curriculum Vitae</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Motivation letter</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">A one-page research proposal (referencing the HOFA3 chapter)</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Transcript of academic records (including grades) and copies of diplomas</div>
</li><li style="font-family: Arial, sans-serif; font-size: 11pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px;">Names and contact details of at least two references willing to write recommendation letters (they will be contacted by us)</div>
</li></ul>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px 0px 0px 48px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"> </span></p>
<p class="elementToProof" style="direction: ltr; text-align: justify; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;">Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system (here is the
<a href="https://recruitment.uni.lu/en/details.html?nPostingId=104056&nPostingTargetId=149108&id=QMUFK026203F3VBQB7V7VV4S8&LG=UK&languageSelect=UK&sType=Social%20Recruiting&mask=karriereseiten" id="LPlnk198599" class="OWAAutoLink" title="https://recruitment.uni.lu/en/details.html?nPostingId=104056&nPostingTargetId=149108&id=QMUFK026203F3VBQB7V7VV4S8&LG=UK&languageSelect=UK&sType=Social%20Recruiting&mask=karriereseiten" data-auth="NotApplicable" style="margin-top: 0px; margin-bottom: 0px;">
link</a>). Applications by email will not be considered.</span></p>
<p class="elementToProof" style="direction: ltr; text-align: justify; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;"><br>
</span></p>
<p class="elementToProof" style="direction: ltr; text-align: justify; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: Arial, sans-serif, serif, EmojiFont; font-size: 11pt; color: black;">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.</span></p>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>