<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" dir="ltr" style="">
<p style=""></p>
<div style="">
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt; line-height: normal;">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Courier New";mso-fareast-font-family:"Times New Roman";
mso-ansi-language:EN-US;mso-fareast-language:DE-AT">The Research Unit Formal Methods in Systems Engineering at the Institute of Logic and Computation
of TU Wien, is offering a position as university assistant (post-doc) for 6 years for 20 hours/week. Expected start: January 2022.<o:p></o:p></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt; line-height: normal;">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Courier New";mso-fareast-font-family:"Times New Roman";
mso-ansi-language:EN-US;mso-fareast-language:DE-AT"><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt; margin-bottom: 3.75pt; line-height: normal;">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Courier New";
mso-fareast-font-family:"Times New Roman";mso-ansi-language:EN-US;mso-fareast-language:
DE-AT">Tasks:<o:p></o:p></span></p>
<ul nodeid="3" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt; margin-bottom: 0px; margin-top: 0px;">
<li><span style="font-family: "Courier New"; font-size: 10.5pt;">Research experience in the area automated propositional reasoning and checking of proof certificates</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Deep interest in scientific problems and the motivation for independent and goal-oriented research</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Independent teaching or participation in teaching and supervision of students</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Project work and leadership of project groups</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Publishing activities</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">The ability to develop methods, concepts, as well as their realization and evaluation and the willingness to contribute in scientific projects</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Participation in and organization of scientific events</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Supervision of students</span></li><li><span lang="EN-US" style="font-size: 10.5pt; font-family: "Courier New";">Participation in organizational and administrative tasks of the research division and the faculty</span></li></ul>
<font face="Courier New"><span style="font-size: 14px;"><br>
</span></font><span style="font-family: "Courier New"; font-size: 10.5pt;">Your profile:</span><br>
<ul nodeid="3" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt; margin-bottom: 0px; margin-top: 0px;">
<li><span style="font-family: "Courier New"; font-size: 10.5pt;">Completed doctoral studies in a relevant area</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Sound knowledge of scientific work</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">In-depth knowledge of the subject area propositional reasoning (CDCL), checking of propositional proof certificates (DRAT, DPR, DSR), and Craig Interpolation</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Experience in national and international research cooperation as well as in project management and presentations</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Interdisciplinary work</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Experience in teaching and publication activities as well as interest and enthusiasm in research and work/support with students</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Organizational and analytical skills as well as a structured way of working</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Excellent command of the English language and very good communicative skills and team competences</span></li><li><span lang="EN-US" style="font-size: 10.5pt; font-family: "Courier New";">Very good skills in English communication and writing. Knowledge of German (level B2) or willingness to learn it in the first year</span></li></ul>
<font face="Courier New"><span style="font-size: 14px;"><br>
</span></font><span style="font-family: "Courier New"; font-size: 10.5pt;">We offer:</span><br>
<ul nodeid="3" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt; margin-bottom: 0px; margin-top: 0px;">
<li><span style="font-family: "Courier New"; font-size: 10.5pt;">Continuing personal and professional education and flexible working hours</span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">Central location of workplace with very good accessibility </span></li><li><span style="font-family: "Courier New"; font-size: 10.5pt;">A creative environment in one of the most liveable cities in the world</span></li><li><span lang="EN-US" style="font-size: 10.5pt; font-family: "Courier New";">Additional benefits for employees can be found at the following link: </span><span style="font-size: 10.5pt; font-family: "Courier New";"><a href="https://urldefense.com/v3/__https://url.tuwien.at/cfjyv__;!!IBzWLUs!DDWDb8RTxzhsMzutHPNY3EQPKBKpTO7fcyEXQUgS6nlOUTneoL9eUaZkSFkKCc1mz6tFypwj1--2Zw$" target="_blank"><span lang="EN-US" style="color:windowtext;mso-ansi-language:
EN-US">Fringe-Benefit
Catalogue of TU Wien</span></a></span></li></ul>
<br style="font-size: 12pt;">
<span lang="EN-US" style="color: rgb(0, 0, 0); font-family: "Courier New"; font-size: 10.5pt;">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 1,973.00/month
gross, 14 times/year for 20 hours/week. Relevant working experiences may increase the monthly income.<br>
<br>
</span><span style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><span lang="EN-US" style="font-family: "Courier New"; background-image: initial; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial;">We
look forward to receiving your application until 16.12.2021: </span></span><span style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><span style="font-family: "Courier New"; background-image: initial; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial;"><a href="https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/168937**A__;wqA!!IBzWLUs!DDWDb8RTxzhsMzutHPNY3EQPKBKpTO7fcyEXQUgS6nlOUTneoL9eUaZkSFkKCc1mz6tFypyIx_QJAg$" style="box-sizing: border-box;fill: rgb(0, 101, 162)"><span lang="EN-US" style="color: windowtext; text-decoration-line: none;">https://jobs.tuwien.ac.at/Job/168937 </span></a></span></span><br>
</div>
<br>
<p></p>
<p style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;">
<br>
</p>
<div id="Signature" style="color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:rgb(0,0,0); font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<p><br>
</p>
<p><br>
</p>
<p class="MsoNormal"><br>
</p>
<p></p>
</div>
</div>
</div>
</body>
</html>