[TYPES/announce] PhD / Postdoc positions related to quantum verification / programs

[Dominique Unruh]

[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$ >).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240319/08e4aadd/attachment-0001.htm>