<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p><img id="jobAdHeaderImg"
src="https://jobs.tuwien.ac.at/Content/jobAd/TU_Hauptgebaude.jpg"
alt="HeaderBild"> </p>
<div class="jobAdContent">
<h1>University Assistant (Prae-Doc)</h1>
<h2>30 hours/week | limited to 1 year</h2>
<div class="jobBlock contactBlock"> 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. </div>
<div class="jobBlock"> At the <strong>Institute of Logic and
Computation, in the Research Unit of Formal Methods in Systems
Engineering</strong> TU Wien is offering a position as
university assistant (prae-doc) for 1 year, for 30 hours/week.
Expected start: October 2023. </div>
<div class="jobBlock">
<h3>Tasks:</h3>
<ul>
<li>Collaboration on research and teaching tasks as well as
examinations in Logic and Reasoning (in particular, on
first-order logic, SAT/SMT solving, tableaux reasoning)</li>
<li>Cooperation and guidance of students</li>
<li>Research and project activity in logic and reasoning, with
particular focus on integrating SAT/SMT solving in
first-order theorem proving. Previous experience with
first-order provers, possibly with the Vampire system, is
advantageous.</li>
<li>Implementing and evaluation automated reasoning systems</li>
<li>Writing publications and disseminating results</li>
<li>Participation in scientific events</li>
<li>Assistance/Collaboration in organizational and
administrative tasks</li>
</ul>
</div>
<div class="jobBlock">
<h3>Your profile:</h3>
<ul>
<li>Completion of a master or diploma curriculum in one of
these fields: informatics, mathematics, engineering</li>
<li>Skillful and responsible in experimental work</li>
<li>Experience in the following scientific fields: automated
reasoning (first-order theorem proving and/or SAT/Solving,
advantageous but not required)</li>
<li>Very good skills in English communication and writing.
Knowledge of German (level B2) or willingness to learn it</li>
<li>Interest in research in the field as well as supervision
and work with students</li>
<li>Very good communicative skills and team competences and
innovative ability</li>
</ul>
</div>
<div class="jobBlock">
<h3>We offer:</h3>
<ul>
<li>A wide variety and exciting range of tasks in a collegial
team</li>
<li>Hybrid working style with up to 60% home office option</li>
<li>A range of attractive social benefits (see <a
href="https://url.tuwien.at/cfjyv" target="_blank">Fringe-Benefit
Catalogue of TU Wien</a>)</li>
<li>Wide range of internal and external training
opportunities, various career options</li>
<li>Central location of workplace as well as good
accessibility (U1/U4 Karlsplatz)</li>
</ul>
</div>
<div class="jobBlock grayBlock"> TU Wien is committed to
increasing the proportion of women in particular in leadership
positions. Female applicants are explicitly encouraged to apply.
<b>Preference will be given to women when equally qualified,
unless reasons specific to a male applicant tilt the balance
in his favour.</b><b><br>
</b><br>
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. </div>
<div class="jobBlock"> 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 2,458.00/month gross,
14 times/year for 30 hours/week. Relevant working experiences
may increase the monthly income. <br>
<br>
<strong>We look forward to receiving your application until
August 31th, 2023.</strong> </div>
<div class="jobBlock jobApplyBlock"> <a
href="https://jobs.tuwien.ac.at/Register/216548"
class="applyButton">Apply now</a>
<div class="jobSiegelLogos">
<div class="logoDown"> <img
src="https://jobs.tuwien.ac.at/Content/jobAd/FidH_Logo.png"
alt="Logo"> </div>
<div class="logoDown2"> <img
src="https://jobs.tuwien.ac.at/Content/jobAd/HR_Logo.png"
alt="Logo 2"> </div>
</div>
</div>
</div>
<div class="jobAdFooter">
<div class="jobBlock blueBlock">
<div class="leftBlock"> If you have any questions, please do not
hesitate to contact us<br>
<br>
Carmen Keck | T: +43 1 588 01 406201 <br>
Here you can find also relevant information about the <a
target="_blank"
href="https://www.tuwien.at/tu-wien/arbeiten-an-der-tuw">application
process</a>. </div>
<div class="rightBlock"> Technology for People </div>
</div>
<div class="jobBlock smallBlock"> Furthermore, please note that
applicants will not normally be reimbursed for travel costs
incurred in connection with this admission process. </div>
</div>
<pre class="moz-signature" cols="72">--
Beatrix Buhl
Technische Universität Wien
Institute of Logic and Computation
Formal Methods in Systems Engineering Group
Favoritenstr. 9 - 11/ 192-04
1040 Wien
TEL.: +43 1 58801 18404
DVR 0005886</pre>
</body>
</html>