<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=us-ascii">
<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-size:10.0pt;
mso-ligatures:none;}
@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 Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week)<br>
or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her postdoc/PhD<br>
in the research area of formal methods applied to guide autonomous agents based on reinforcement learning. The position is in the context of the<br>
research project TAIGER: Training and Guiding AI Agents with Ethical Rules, aiming at designing autonomous agents sensitive to (ethical, legal and social) norms.<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 specific requirements for the PostDoc position are the following: <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">· A completed PhD in Computer Science or related fields<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">· Experience in developing tools<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">· Solid experience in reinforcement learning method and formal methods<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">· Knowledge of logic<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">· Very good English skills (writing, speaking)<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 promising publication record<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">The specific requirements for the PhD position are the following: <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">· A completed Master in Computer Science or related fields<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">· Solid experience in reinforcement learning methods and preferably formal methods<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">· Knowledge of logic<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">· Very good English skills (writing, speaking)<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"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">About TU Wien (<a href="https://www.tuwien.at/en/tu-wien/about-tu-wien">https://www.tuwien.at/en/tu-wien/about-tu-wien</a>)<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 TU Wien is Austria's largest research and educational institution in the field of technology and natural sciences. More than 4,000 scientists are researching<br>
"technology for people" in five main research areas at eight faculties. The content of the studies offered is derived from the excellent research. More than<br>
26,000 students in 62 degree programmes benefit from this. As a driver of innovation, TU Wien strengthens the business location, facilitates cooperation and<br>
contributes to the prosperity of society. <o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US" style="color:black"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Doctoral Program in Trustworthy Autonomous Cyber-Physical Systems<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 PhD student will be affiliated with the new PhD program in Trustworthy Autonomous Cyber-Physical Systems.<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"><o:p> </o:p></span></p>
<p class="MsoPlainText">TAIGER Project (<a href="https://taiger.logic.at/abstract"><span style="color:windowtext;text-decoration:none">https://taiger.logic.at/abstract</span></a>)<o:p></o:p></p>
<p class="MsoPlainText"> <o:p></o:p></p>
<p class="MsoPlainText"><span lang="EN-US">Autonomous agents are increasingly becoming an integral part of our world. It is essential that they act in legal, ethically-sensitive, and socially acceptable ways;<br>
more broadly, their behavior must be regulated by norms. While the crucial importance of this endeavor is well-acknowledged, the question of how to implement<br>
such agents is still open.<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">Two different approaches emerge: one approach uses symbolic Artificial Intelligence (AI) techniques (Logic, Knowledge Representation and Reasoning),<br>
while the other relies on sub-symbolic AI (i.e., Machine Learning), where in particular Reinforcement Learning (RL) has proven to be a powerful technique to train<br>
autonomous agents to solve complex tasks in sophisticated environments. <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">As both approaches have strengths and weaknesses, the three partners of TAIGER: E. Bartocci (Cyber-Physical Systems), A. Ciabattoni (Logic), and T. Eiter
<br>
(Knowledge Representation and Answer Set Programming), aim to integrate them, thus getting the best of both worlds.<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">Specifically, TAIGER will introduce effective frameworks for equipping RL-based agents with the ability to comply with norms in possible interplay with their goals.
<br>
Grounded in formal reasoning, the frameworks will be modular and facilitate transparent justification of judgments. Moreover, they will cope with potential contradictions<br>
in normative requirements and handle situations in which no compliance is possible, without deviating too much from the optimal behavior the agent has learned.<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"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Salary<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 salary of the postdoctoral researcher will be around 4,351.90 Euro (gross) x 14 times = 60,926.6 Euro (gross). The salary of the doctoral researcher will be
<br>
around 2,464.80 Euro x 14 times = 34,507.2 Euro (gross).<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"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Applications, including any attachments, should be submitted by the 20th of January 2024 to the following email addresses: </span><a href="mailto:ezio.bartocci@tuwien.ac.at"><span lang="EN-US" style="color:windowtext;text-decoration:none">ezio.bartocci@tuwien.ac.at</span></a><span lang="EN-US">, </span><a href="mailto:agata@logic.at"><span lang="EN-US" style="color:windowtext;text-decoration:none">agata@logic.at</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"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The following documents must be attached to the 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"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">· Cover letter stating the candidate's motivation to apply, and the reason(s) why they should be selected for the 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">· CV <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">· sample of a project of the applicant (e.g., Master thesis for PhD students)<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">· two reference letters<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"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Contact details <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">For further information and enquiries about this post please contact Prof. Ezio Bartocci, e-mail: </span><a href="mailto:ezio.bartocci@tuwien.ac.at"><span lang="EN-US" style="color:windowtext;text-decoration:none">ezio.bartocci@tuwien.ac.at</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="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>