At the Chair of Quantum Information Systems (https://qis.rwth-aachen.de/) at RWTH Aachen, 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://kodu.ut.ee/~unruh/cerqus/).

Supervisor would be Dominique Unruh.

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://qis.rwth-aachen.de/positions/verify-qkd.html)

• PhD position “Functional quantum programs in F*”

 (https://qis.rwth-aachen.de/positions/functional-quantum.html)

• PhD position “Certified quantum compilation”

 (https://qis.rwth-aachen.de/positions/certified-compile.html)

All positions are fully funded (Germany salary class TV-L E13).

Application deadline is April 15, 2024; see the application instructions for phd students (https://qis.rwth-aachen.de/positions/phd-apply.html) or postdocs (https://qis.rwth-aachen.de/positions/postdoc-apply.html).