Email Gateway (Mar 19 2024 at 16:18): Email Gateway (Mar 19 2024 at 16:18):From: Dominique Unruh <cl-isabelle-users@lists.cam.ac.uk>
[Apologies for multiple postings.]
At the Chair of Quantum Information Systems
<https://qis.rwth-aachen.de/> at RWTH Aachen
<https://www.rwth-aachen.de/>, 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
<https://qis.rwth-aachen.de/people/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 (German 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 for postdocs <https://qis.rwth-aachen.de/positions/postdoc-apply.html>.
Best wishes,
Dominique.
Last updated: Apr 29 2024 at 01:08 UTC