<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=utf-8"><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;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle21
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle23
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle26
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@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 link="#0563C1" vlink="#954F72"><div class=WordSection1><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>A<b> PhD position </b>is available at the <b>Database and Artificial Intelligence Group</b> at <b>TU Wien, Austria </b>(under the supervision of Dr. Mantas Šimkus). <o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>We invite highly motivated applicants interested both in the theory and practice of</span><o:p></o:p></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Description Logics<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Answer Set Programming <o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Knowledge Representation and Reasoning <o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Reasoning about Actions and Change<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Database Theory<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>In particular, we are seeking to strengthen our research teams in two foundational research projects “</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#444444'>Ontology-mediated Queries for Graph Databases”</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[</span><span lang=EN-GB>1</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>]</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#444444'> and “KtoAPP: Compiling Knowledge into Applications”</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[</span><span lang=EN-GB>2</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>] funded by the </span><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Austrian Science Fund (FWF).<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span lang=EN-GB><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>YOUR PROFILE</span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>A degree in Computer Science, Mathematics, or other closely related field<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>A very strong study record, especially in foundational topics (like discrete mathematics, logic, logic programming, algebra, theory of computation, computational complexity, combinatorics, graph theory, automata theory, data structures and algorithms)<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Very good English writing skills<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>WE OFFER<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span lang=EN-GB><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Employment at TU Wien for up to 3.5 years, with Dr. Mantas Šimkus as PhD advisor<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=DE-AT style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Gross salary of approx. </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#222222;background:white'>30.754</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'> EUR per year (approx. </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#464A56;background:#F9F9F9'>22.506 </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>EUR per year after taxes in basic circumstances)<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>The candidate student would join the </span><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>LogiCS doctoral program </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[</span><span lang=EN-GB>3</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>]</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#444444'> </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>which offers top research expertise, and a stimulating and supportive environment<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>A research and study environment that is friendly and gender-balanced<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>TU Wien is a great place for professional growth (e.g., the Austrian Science Fund offers multiple funding opportunities for young researchers to advance their independent scientific careers).<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>- </span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Vienna is a beautiful city that offers excellent quality of life [</span><span lang=EN-GB>4</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>]<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB>APPLICATION PROCESS</span><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Application Deadline: <b>July 15, 2020</b></span><o:p></o:p></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>Please send your application to Dr. Mantas Šimkus (<a href="mailto:simkus@dbai.tuwien.ac.at">simkus@dbai.tuwien.ac.at</a>) </span><o:p></o:p></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>APPLICATION DOCUMENTS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif'>-</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>A motivation letter, which should make a connection to one of the research projects mentioned above <o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif'>-</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Curriculum Vitae<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif'>-</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Transcripts (academic record) showing high performance in prior studies<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif'>-</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>Abstract of the Master thesis<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span lang=DE-AT style='font-size:10.0pt;font-family:"Arial",sans-serif'>-</span><span style='font-size:10.0pt;font-family:"Arial",sans-serif'>2 letters of recommendation<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB>QUALITY OF LIFE<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB>Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.<o:p></o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt;vertical-align:baseline'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB>LINKS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB><o:p> </o:p></span></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[1] </span><a href="http://www.simkus.info/projects/fwf-project-p30360/"><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#1155CC'>http://www.simkus.info/projects/fwf-project-p30360/</span></a><o:p></o:p></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[2] </span><a href="http://www.simkus.info/projects/fwf-project-p30873/"><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#1155CC'>http://www.simkus.info/projects/fwf-project-p30873/</span></a><o:p></o:p></p><p style='margin:0cm;margin-bottom:.0001pt'><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[3] </span><a href="https://logic-cs.at/"><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#1155CC'>https://logic-cs.at</span></a><o:p></o:p></p><p class=MsoNormal><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>[4] </span><span lang=EN-GB><a href="https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings"><span style='font-size:10.0pt;font-family:"Arial",sans-serif;color:#1155CC'>https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings</span></a><span style='color:black'><o:p></o:p></span></span></p><p class=MsoNormal><span style='font-size:12.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:12.0pt'>WEBSITE <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:10.0pt;font-family:"Arial",sans-serif;color:black'>===================== </span><span lang=EN-GB><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:12.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:12.0pt'><a href="http://www.vcla.at/positions/">www.vcla.at/positions/</a><o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>