Email Gateway (Aug 22 2022 at 15:27): Email Gateway (Aug 22 2022 at 15:27):From: Dominique Unruh <unruh@ut.ee>
At the Quantum Cryptography Group, University of Tartu, we have two
open postdoc 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 contact Dominique Unruh <unruh@ut.ee <unruh@ut.ee>> if you have
more questions about the project, the required background, Estonia, the
position itself, or the application process.
The salary range is 30000-36000 Euro per year (depending on experience),
which is highly competitive in Estonia due to low costs of living and low
income tax rate (20%), pension contributions and health insurance are
covered by the employer.
The position is for three years, September 1, 2017 till August 31, 2020.
The starting date and duration can be negotiated (in both directions).
To apply, please send the following documents to unruh@ut.ee:
- Curriculum vitae (please explain your scientific background)
- List of publications
- Research plan (i.e., how do you think you could contribute to the
topic)
- At least two letters of reference (please ask for the letters to be
sent directly to us)
- Phd degree
The deadline for applications is June 1, 2017, but later applications
can be considered.
http://crypto.cs.ut.ee/Main/PostdocInVerificationOfQuantumCryptography
Last updated: Apr 25 2024 at 08:20 UTC