[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple postings.]
At the Chair of Quantum Information Systems
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G34UA1d5A$ > at RWTH Aachen
<https://urldefense.com/v3/__https://www.rwth-aachen.de/__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2hbyCXhg$ >, Germany, we have several phd and postdoc
positions available in the area of quantum formal verification, quantum
programs, quantum crypto, connected to the ERC project "Certified
Quantum Security" <https://urldefense.com/v3/__https://kodu.ut.ee/*unruh/cerqus/__;fg!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G0Xml30dw$ >.
Supervisor would be Dominique Unruh
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/people/unruh/__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2kMrUVFw$ >.
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.
* PhD position “Verification of Quantum Key Distribution
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/verify-qkd.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3mcvTjOA$
>”
* PhD position “Functional quantum programs in F*
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/functional-quantum.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2LB_2dGw$
>”
* PhD position “Certified quantum compilation
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/certified-compile.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G1xxmQ3Bw$
>”
All positions are fully funded (German salary class TV-L E13).
Application deadline is April 15, 2024; see the application instructions
for phd students <https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/phd-apply.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G0qYj2mog$ >
or for postdocs <https://urldefense.com/v3/__https://qis.rwth-aachen.de/positions/postdoc-apply.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G1Yv5ijuw$ >.
Best wishes,
Dominique.
--
Prof. Dr. Dominique Unruh
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/people/unruh__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G2huayihQ$
>
Chair for Quantum Information Systems
<https://urldefense.com/v3/__https://qis.rwth-aachen.de__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3JEro63g$
>
Computer Science, RWTH Aachen
<https://urldefense.com/v3/__https://www.informatik.rwth-aachen.de__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3wyUFkNg$
>
Please avoid salutations such as Herr/Frau/Mr/Mrs (more info
<https://urldefense.com/v3/__https://qis.rwth-aachen.de/people/unruh/gender.html__;!!IBzWLUs!XcW25S9cazD1Pc0VZWg2uSneT7Fm7oiZKxv3V34bGKgeVn7ob73fznGSwkC70rtcTb3nENSbSA40B-Xq4G3zkEUfhg$ >).
