Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc / phd positions in "Verification of Qu...


view this post on Zulip Email Gateway (Aug 22 2022 at 16:05):

From: Dominique Unruh <unruh@ut.ee>
At the Quantum Cryptography Group, University of Tartu, we have
open *postdoc
and phd* positions on Verification of Quantum Cryptography.

We are starting a project in which we will develop methods for the
verification of proofs in quantum cryptography. Similar to what the
EasyCrypt tool does in classical cryptography. The scope of the project
covers everything from the logical foundations, through the development of
tools, to the verification of real quantum protocols.

The ideal candidate would have experience in:

- Semantics
- Theorem proving
- Verification of classical cryptography
- Quantum cryptography
- Quantum computation / communication

Of course, expertise in all those areas is very rare, so candidates who are
strong in some of those areas and are interested in the others are
encouraged to apply!

Please refer to

http://crypto.cs.ut.ee/Main/PostdocInVerificationOfQuantumCryptography
http://crypto.cs.ut.ee/Main/PhdInVerificationOfQuantumCryptography

for more information.

Best wishes,
Dominique.


Last updated: Mar 29 2024 at 08:18 UTC