<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;
line-height:115%;
font-size:11.0pt;
font-family:"Arial",sans-serif;}
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-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 class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>A<b> PostDoc position </b>is available at the <b>Database and Artificial Intelligence Group</b> at <b>TU Wien (Vienna University of Technology), Austria</b>. <o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>We invite highly motivated applicants interested both in the theory and practice of<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Description Logics<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Answer Set Programming <o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Knowledge Representation and Reasoning <o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Reasoning about Actions and Change<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Database Theory<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>In particular, we are seeking to strengthen our research teams in two foundational research projects “<span style='color:#444444'>Ontology-mediated Queries for Graph Databases”</span>[1]<span style='color:#444444'> and “KtoAPP: Compiling Knowledge into Applications”</span>[2] funded by the Austrian Science Fund (FWF). <o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>YOUR PROFILE<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- A PhD degree in Computer Science, Mathematics, or other closely related field<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Excellent academic record<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- High motivation to succeed in academia <o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Very good English writing skills<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>WE OFFER<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Employment at TU Wien from 2 years to 3.5 years, depending on research tasks<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Gross salary of approx. 54.453 EUR per year (approx. <span style='background:#F9F9F9'>35.463 </span>EUR per year after taxes in basic circumstances)<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- A department that offers top research expertise, and a stimulating and supportive environment<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- 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 class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Vienna is a beautiful city that offers excellent quality of life [4]<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>APPLICATION PROCESS<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>Application Deadline: <b>July 15, 2020</b><o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>Please send your application to Dr. Mantas Šimkus (<a href="mailto:simkus@dbai.tuwien.ac.at">simkus@dbai.tuwien.ac.at</a>) <o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>Application Documents:<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- Curriculum Vitae<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- PhD thesis and/or the list of publications<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>- At least 2 names of referees<o:p></o:p></span></p><p class=MsoNormal style='margin-left:72.0pt;line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>LINKS<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>=================<o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>[1] <a href="http://www.simkus.info/projects/fwf-project-p30360/"><span style='color:#1155CC'>http://www.simkus.info/projects/fwf-project-p30360/</span></a><u><span style='color:#1155CC'><o:p></o:p></span></u></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>[2] <a href="http://www.simkus.info/projects/fwf-project-p30873/"><span style='color:#1155CC'>http://www.simkus.info/projects/fwf-project-p30873/</span></a><u><span style='color:#1155CC'><o:p></o:p></span></u></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>[3] <a href="https://logic-cs.at/"><span style='color:#1155CC'>https://logic-cs.at</span></a><o:p></o:p></span></p><p class=MsoNormal style='line-height:normal'><span lang=EN style='font-size:12.0pt;font-family:"Calibri",sans-serif'>[4] <a href="https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings"><span style='color:#1155CC'>https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings</span></a><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-GB style='font-size:12.0pt;line-height:115%;font-family:"Calibri",sans-serif'><o:p> </o:p></span></p></div></body></html>