<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] Postdoc Position in Formal Verification,
University of Stuttgart, Germany</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Wed, 6 Oct 2021 12:18:12 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Ralf Kuesters <a class="moz-txt-link-rfc2396E" href="mailto:ralf.kuesters@sec.uni-stuttgart.de"><ralf.kuesters@sec.uni-stuttgart.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 Institute of Information Security at University of Stuttgart
offers a<br>
<br>
fully-funded Postdoc position in formal verification<br>
<br>
The successful candidate is expected to work on tool-supported
formal verification of security-critical systems and security
protocols.<br>
<br>
The position is available immediately with an internationally
competitive salary (German public salary scale TV-L E13 or TV-L
E14, depending on the candidate's qualification, ranging from
about 4.600 Euro to 6.200 Euro monthly gross salary). The
appointment period follows the German
Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging from one
year to up to six years.<br>
<br>
The Institute of Information Security offers a creative
international environment for top-level international research in
Germany's high-tech region.<br>
<br>
The successful candidate should have a Ph.D. (or should be very
close to completion thereof) in Computer Science, Mathematics,
Information Security, or a related field. We value strong
analytical skills and<br>
<br>
- solid knowledge of logic, proofs and/or formal verification
techniques (Theorem Proving, Type Checking, etc.),<br>
- solid programming experience.<br>
<br>
Knowledge in security is not required, but a plus. Knowledge of
German is not required.<br>
<br>
The University of Stuttgart is an equal opportunity employer.
Applications from women are strongly encouraged. Severely
challenged persons will be given preference in case of equal
qualifications.<br>
<br>
To apply, please send email with subject "Application: Postdoc
Position Formal Verification" and a single PDF file containing the
following documents to <a class="moz-txt-link-abbreviated" href="mailto:ralf.kuesters@sec.uni-stuttgart.de">ralf.kuesters@sec.uni-stuttgart.de</a>:<br>
* Cover letter (explaining your scientific background and your
motivation to apply)<br>
* Curriculum Vitae<br>
* List of publications<br>
* Copies of transcripts and certificates (Bachelor, Master, PhD)<br>
* Names of at least two references<br>
<br>
The deadline for applications is<br>
<br>
October 31st, 2021.<br>
<br>
Late applications will be considered until the position is filled.<br>
<br>
See <a class="moz-txt-link-freetext" href="https://sec.uni-stuttgart.de/">https://sec.uni-stuttgart.de/</a> for more information about the
institute.<br>
<br>
See <a class="moz-txt-link-freetext" href="https://www.sec.uni-stuttgart.de/institute/job-openings/">https://www.sec.uni-stuttgart.de/institute/job-openings/</a> for
the official job announcement.<br>
<br>
For further information please contact: Prof. Dr. Ralf Küsters,
<a class="moz-txt-link-abbreviated" href="mailto:ralf.kuesters@sec.uni-stuttgart.de">ralf.kuesters@sec.uni-stuttgart.de</a>.<br>
<br>
<pre class="moz-signature">--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
<a class="moz-txt-link-freetext" href="https://sec.uni-stuttgart.de/">https://sec.uni-stuttgart.de/</a>>Phone: +49 (0) 711 685 88283
</pre>
</div>
</body>
</html>