<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] PhD Student / Post-Doc Position at University
of Konstanz</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Mon, 28 Mar 2022 10:40:25 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Stefan Leue <a class="moz-txt-link-rfc2396E" href="mailto:Stefan.Leue@uni-konstanz.de"><Stefan.Leue@uni-konstanz.de></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
The Chair for Software and Systems Engineering (Prof. Stefan Leue)
of the University of Konstanz has the immediately opening of a
full-time<br>
<br>
PhD Student / Post-Doc position.<br>
<br>
Reference Number 2022/078. The start date is July 1st, 2022, or by
mutual agreement. The position is initially available for three
years (Doctoral Position) or two years (Post-Doctoral Position)
with a possibility of extension. Preference will be given to
Doctoral candidates. The position will allow for the writing of a
doctoral dissertation.<br>
<br>
The position is to support the research, teaching and
administrative activities of the Chair for Software and Systems
Engineering. Our research interests span a wide spectrum of topics
in systems and formal methods, ranging from model checking, SMT
solving, real-time systems, hybrid systems, system analysis,
causality, automated repair, verification of machine learning,
automotive functional safety, software tool environments to formal
modeling in Legal Tech. The working language is English. Excellent
undergraduate and graduate degrees (or doctoral degree in case of
a Post-Doc application) in Computer Science or a very closely
related area are a prerequisite.<br>
<br>
Renumeration is according to the TV-L labor agreement in the EG 13
payscale, amounting to at least approx. € 50.000,00 p.a.<br>
<br>
Application deadline: April 24, 2022.<br>
<br>
For more information and application instructions please see<br>
<br>
<a class="moz-txt-link-freetext" href="https://stellen.uni-konstanz.de/jobposting/acf41fd61d1ed76fb0a6495a83468ca48a16e0fd0">https://stellen.uni-konstanz.de/jobposting/acf41fd61d1ed76fb0a6495a83468ca48a16e0fd0</a></div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-forward-container">I will be happy to answer further
questions, and look forward to your qualified application!<br>
<br>
Stefan Leue<br>
<br>
<pre class="moz-signature">--
Prof. Dr. Stefan Leue
Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany
Office: PZ902
Phone: +49 (0)7531 88 2893, ~4631 (secretary)
Home: +49 (0)7533 949 2182
Email: <a class="moz-txt-link-abbreviated" href="mailto:Stefan.Leue@uni-konstanz.de">Stefan.Leue@uni-konstanz.de</a>
WWW: <a class="moz-txt-link-freetext" href="http://sen.uni-konstanz.de/">http://sen.uni-konstanz.de/</a>
</pre>
</div>
</body>
</html>