coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc / phd positions in "Verification of Quantum Cryptography"

From: Dominique Unruh <unruh AT ut.ee>
To: mfps-l AT listserv.tulane.edu, isabelle-users AT cl.cam.ac.uk, coq-club AT inria.fr, csf-attendees <csf-attendees AT mail-infsec.cs.uni-sb.de>, quantum-foundations AT maillist.ox.ac.uk
Subject: [Coq-Club] Postdoc / phd positions in "Verification of Quantum Cryptography"
Date: Mon, 11 Sep 2017 11:00:03 +0300
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=unruh AT ut.ee; spf=Pass smtp.mailfrom=unruh AT ut.ee; spf=None smtp.helo=postmaster AT smtp1.it.da.ut.ee
Ironport-phdr: 9a23:iJjjThCRUH7oyMIdOIPbUyQJP3N1i/DPJgcQr6AfoPdwSP/7pcbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6i760TlHHxvnLk9xDuD0AZLJgt6pkfyv/5TVbkNFiCf5KbJpJR+7qQHc89QNjJF5Aq01jBDApz1BcKJLxicgLlWK2h34+82Y/Zh58i0Wtehlv8VbX+DzY7g1S7BVAS9uZ2su6ojiqQXOSweC62A0V2wXll9JBQbe4Rq8VYy3ry378/F3niWXa4m+VK09Xyi/6uJlTwLuhC4bNjk/60nSg810iKNAvFSmt1p2yMjJY9K7Lv17K4/aeNIcRHNcU45sUTZcAsvoco0VEuopIPoeooSr9AhGlge3GQT5XLCn8TRPnHKjhaA=

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.

[Coq-Club] Postdoc / phd positions in "Verification of Quantum Cryptography", Dominique Unruh, 09/11/2017