Two open postdoc positions on Verification of Quantum Cryptography

by Noreen Balos, Funding Peer
Friday, April 28, 2017 1:14 PM

The University of Tartu is currently accepting applications for two open postdoc positions on Verification of Quantum Cryptography. Successful applicants will work on a project in which they will develop methods for the verification of proofs in quantum cryptography.

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 contact Dominique Unruh <> if you have more questions about the project, the required background, Estonia, the position itself, or the application process.

The deadline for applications is June 1, 2017, but later applications can be considered.


Cryptography Research Group, University of Tartu