<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>[Apologies for multiple postings.]<br>
</p>
<p>At the <a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G34UA1d5A$">Chair of Quantum
Information Systems</a> at <a href="https://urldefense.com/v3/__https://www.rwth-aachen.de/__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2hbyCXhg$">RWTH Aachen</a>, Germany, we
have several phd and postdoc positions available in the area of
quantum formal verification, quantum programs, quantum crypto,
connected to the <a href="https://urldefense.com/v3/__https://kodu.ut.ee/*unruh/cerqus/__;fg!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G0Xml30dw$">ERC
project "Certified Quantum Security"</a>.<br>
<br>
Supervisor would be <a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/people/unruh/__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2kMrUVFw$">Dominique Unruh</a>.<br>
<br>
In particular, there are the following topics, but we accept phd
and postdoc applications for other topics if they fit into the
general direction of our group.<br>
</p>
<ul>
<li>PhD position “<a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/verify-qkd.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3mcvTjOA$">Verification
of Quantum Key Distribution</a>”</li>
<li>PhD position “<a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/functional-quantum.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2LB_2dGw$">Functional
quantum programs in F*</a>”</li>
<li>PhD position “<a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/certified-compile.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G1xxmQ3Bw$">Certified
quantum compilation</a>”</li>
</ul>
<p>All positions are fully funded (German salary class TV-L E13).<br>
<br>
Application deadline is April 15, 2024; see the application
instructions <a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/phd-apply.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G0qYj2mog$">for
phd students</a> or <a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/postdoc-apply.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G1Yv5ijuw$">for
postdocs</a>.</p>
<p>Best wishes,<br>
Dominique.<br>
</p>
<p><br>
</p>
<div class="moz-signature">-- <br>
<a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/people/unruh__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2huayihQ$">Prof. Dr.
Dominique Unruh</a><br>
<a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3JEro63g$">Chair for Quantum Information
Systems</a><br>
<a href="https://urldefense.com/v3/__https://www.informatik.rwth-aachen.de__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3wyUFkNg$">Computer Science,
RWTH Aachen</a>
<p>Please avoid salutations such as Herr/Frau/Mr/Mrs (<a href="https://urldefense.com/v3/__https://qis.rwth-aachen.de/people/unruh/gender.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3zkEUfhg$">more
info</a>).</p>
</div>
</body>
</html>