<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;}
@font-face
{font-family:Verdana;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Arial",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
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="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">Job offer: University Assistant (Post-Doc)<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">40 hours/week | limited to 8 months<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">At the Institute of Logic and Computation, in the Research Unit of Formal Methods
in Systems Engineering, TU Wien is offering a position as university assistant (post-doc) limited to 8 months for 40 hours/week. Expected start: June 2023.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">Tasks:<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">* Research in formal methods and symbolic computation<br>
* Independent teaching or participation in teaching and supervision of students<br>
* Project work and scientific coordination of research events<br>
* Publishing and disseminating research results at international conferences/journals<br>
* Coordinating international scientific research events<br>
* Participation in organizational and administrative tasks of the research division and the faculty<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">Your profile:<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">* Completed doctoral studies in logic, math or a closely related area<br>
* Early-career strong track record in formal methods, computational logic and/or computer algebra<br>
* Experience in national and international research cooperation as well as in project management and presentations<br>
* Experience with collaborative work<br>
* Experience in teaching and publication activities<br>
* Existing engagements in student supervision<br>
* Excellent skills in English communication and writing. Knowledge of German (level B2) or willingness to learn.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">We offer:<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">* A wide variety and exciting range of tasks in a collegial team<br>
* Hybrid working style with up to 60% home office option<br>
* A range of attractive social benefits (see Fringe-Benefit Catalogue of TU Wien)<br>
* Wide range of internal and external training opportunities, various career options<br>
* Central location of workplace as well as good accessibility (U1/U4 Karlsplatz)<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">TU Wien is committed to increasing the proportion of women in particular in leadership
positions. Female applicants are explicitly encouraged to apply. Preference will be given to women when equally qualified, unless reasons specific to a male applicant tilt the balance in his favor.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">People with special needs are equally encouraged to apply. In case of any questions,
please contact the confidant for disabled persons at the university, Mr. Gerhard Neustätter.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">Entry level salary is determined by the pay grade B1 of the Austrian collective
agreement for university staff. This is a minimum of currently EUR 4,351.90/month gross, 14 times/year for 40 hours/week. Relevant working experiences may increase the monthly income.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">TU Wien is Austria's largest institution of research and higher education in the
fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists, research, teaching and learning dedicated to the advancement of science and technology have been conducted here for more than 200 years, guided by the motto
"Technology for People". As a driver of innovation, TU Wien fosters close collaboration with business and industry and contributes to the prosperity of society.<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="font-size:10.0pt;line-height:105%;font-family:"Arial",sans-serif;mso-ligatures:standardcontextual">We look forward to receiving your application until May 25, 2023:<br>
<a href="https://jobs.tuwien.ac.at/Job/209371?culture=en">https://jobs.tuwien.ac.at/Job/209371?culture=en</a><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:8.0pt;line-height:105%"><span style="mso-ligatures:standardcontextual"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Kind regards<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496">Andrea Hackl, MA</span></b><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496"><br>
Project Manager<br>
Vienna Center for Logic and Algorithms<o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#2F5496"><br>
</span></b><b><span lang="DE-AT" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496">Technische Universität Wien<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="DE-AT" style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496">Favoritenstraße 9-11, Stiege 3, 3.
</span><span style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#2F5496">Stock, 1040 Wien</span><span style="font-size:9.0pt;font-family:"Arial",sans-serif"><br>
</span><span lang="DE-AT" style="font-size:9.0pt;font-family:"Arial",sans-serif"><a href="mailto:andrea.hackl@tuwien.ac.at"><span lang="EN-US">andrea.hackl@tuwien.ac.at</span></a></span><span style="font-size:9.0pt;font-family:"Arial",sans-serif"><br>
</span><span lang="DE-AT" style="font-size:9.0pt;font-family:"Arial",sans-serif"><a href="http://www.vcla.at/"><span lang="EN-US">www.vcla.at</span></a></span><span style="font-size:9.0pt;font-family:"Arial",sans-serif"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;font-family:"Verdana",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>