Funding
The University of Tartu is currently accepting applications for two open postdoc positions on Verification of Quantum Cryptography. The deadline for applications is June 1, 2017, but later applications can be considered.
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.
ELIGIBILITY
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!
CONTACT
Please contact Dominique Unruh <unruh@ut.ee> if you have more questions about the project, the required background, Estonia, the position itself, or the application process.
DEADLINE
The deadline for applications is June 1, 2017, but later applications can be considered.
DETAILS
Cryptography Research Group, University of Tartu