<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Nur Text Zchn";
margin:0cm;
font-size:10.0pt;
font-family:"Arial",sans-serif;
mso-fareast-language:EN-US;}
span.NurTextZchn
{mso-style-name:"Nur Text Zchn";
mso-style-priority:99;
mso-style-link:"Nur Text";
font-family:"Arial",sans-serif;
mso-ligatures:none;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE-AT" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoPlainText"><span lang="EN-US">The research group Theory and Logic, Institute of Logic and Computation of the Vienna University of Technology is seeking an exceptionally talented and motivated student for a PhD position. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The position is embedded in the <a href="https://www.ruhr-uni-bochum.de/lodex/">
LoDEx project (Logical Methods for Deontic Explanations)</a>, a joint project between TU Vienna (PI: Agata Ciabattoni), the University of Luxembourg (PI: Leon van der Torre), and the Ruhr-University Bochum (PI: Christian Straßer). <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">This PhD position is a shared position with the University of Luxembourg: the candidate is expected to spend the first two years at TU Wien in Vienna and then two years in Luxembourg completing his/her PhD under a
Cotutelle agreement in the Computational Law and Machine Ethics (CLAiM) group at the University of Luxembourg. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*The Project.* <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The candidate will be working as a member of the WEAVE project “Logical Methods for Deontic Explanations” (LoDEx). The project’s general aim is to develop formal frameworks for generating explanations in the normative
context. The frameworks will be applied to bioethics and legal reasoning, as case studies.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">These explanations facilitate our comprehension of the underlying reasons for the application of specific norms within a particular context, illuminating why adherence to these norms is crucial. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*The position.*<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The PhD position focuses on advancing and applying logical methods for explanations in legal reasoning. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*Job requirements.*<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The candidate should have familiarity with formal logic, ideally modal/deontic/epistemic/philosophical logics; and a basic affinity with and an interest in legal reasoning. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The candidate should have a degree in computer science, philosophy, logic, AI, or related subjects. Knowledge of German is not required. We welcome candidates with a variety of backgrounds and perspectives. We especially
encourage candidates from underrepresented groups. For any queries, please contact Agata Ciabattoni (</span><a href="mailto:agata@logic.at"><span lang="EN-US">agata@logic.at</span></a><span lang="EN-US">) and Réka Markovich (</span><a href="mailto:reka.markovich@uni.lu"><span lang="EN-US">reka.markovich@uni.lu</span></a><span lang="EN-US">). <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*Application.* <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The application should contain the following documents: <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">1. a letter of motivation explaining your interest in the position and your qualifications for it, 2. your curriculum vitae, 3. abstract in English of the applicant’s master’s thesis; 4. a complete list of completed
studies and transcripts of all grades, 5. a writing sample (such as a master thesis, or seminar paper), and 6. the contact details of at least two referees, who can be contacted for a letter of reference <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">If you are interested, we invite you to apply before November 30th, 2023. Interviews will be held online shortly thereafter. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Please send your application to </span>
<a href="mailto:agata@logic.at"><span lang="EN-US">agata@logic.at</span></a><span lang="EN-US"> (cc to
</span><a href="mailto:reka.markovich@uni.lu"><span lang="EN-US">reka.markovich@uni.lu</span></a><span lang="EN-US">). <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">A further PhD position within the LoDEx project is offered by the Ruhr-University Bochum (cotutelle with the University of Luxembourg).<br>
<br>
For more information, please visit: <a href="https://www.vcla.at/2023/10/phd-position-in-logic-and-legal-reasoning/">
https://www.vcla.at/2023/10/phd-position-in-logic-and-legal-reasoning/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Kind regards<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT">Andrea Hackl, MA</span></b><span lang="EN-US" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><br>
Project Manager<br>
Vienna Center for Logic and Algorithms<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT">Technische Universität Wien</span></b><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><br>
Favoritenstraße 9-11, Stiege 3, 3. </span><span lang="EN-US" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT">Stock, 1040 Wien<br>
</span><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><a href="mailto:andrea.hackl@tuwien.ac.at"><span lang="EN-US" style="color:#2F5496">andrea.hackl@tuwien.ac.at</span></a></span><span lang="EN-US" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><a href="http://www.vcla.at">www.vcla.at</a><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>