<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 and PhD Positions in Formal
Verification, University of Stuttgart, Germany</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 25 Nov 2021 18:24:37 +0100</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<br>
<br>
fully-funded Postdoc and PhD positions in formal verification.<br>
<br>
Successful candidates are expected to carry out research on
tool-supported formal verification methods for security-critical
systems and security protocols in our new REPROSEC initiative
(<a class="moz-txt-link-freetext" href="https://reprosec.org/">https://reprosec.org/</a> See, e.g., our work at ACM CCS 2021 and
EuroS&P 2021 on DY*.<br>
<br>
The positions are 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.000 Euro to 6.200 Euro monthly gross salary). The
employment periods are between one and six years, following the
German Wissenschaftszeitvertragsgesetz (WissZeitVg).<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>
You should have a Master's degree or a Ph.D. (or should be very
close to completion thereof) in Computer Science, Mathematics,
Cyber Security, or a related field. We value excellent analytical
skills and<br>
<br>
- solid knowledge of logic, proofs and/or formal verification
techniques (Theorem Proving, Type Checking, etc.), and<br>
- solid programming experience.<br>
<br>
Knowledge in cryptography/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: PhD/Postdoc
Position in 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, if applicable<br>
* Copies of transcripts and certificates (Bachelor, Master, and if
applicable, PhD)<br>
* Names of at least two references<br>
<br>
The deadline for applications is<br>
<br>
December 12th, 2021.<br>
<br>
Late applications will be considered until the positions are
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>
</div>
</body>
</html>