coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Researcher positions (postdoc) within the ERC Consolidator grant “Certified Quantum Security”

From: Dominique Unruh <unruh AT ut.ee>
To: cl-isabelle-users <cl-isabelle-users AT lists.cam.ac.uk>, coq-club AT inria.fr, quantum-foundations AT maillist.ox.ac.uk, types-announce AT lists.seas.upenn.edu, csf-attendees <csf-attendees AT mail-infsec.cs.uni-sb.de>, easycrypt-club AT lists.gforge.inria.fr
Subject: [Coq-Club] Researcher positions (postdoc) within the ERC Consolidator grant “Certified Quantum Security”
Date: Mon, 11 Mar 2019 16:55:25 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=unruh AT ut.ee; spf=Pass smtp.mailfrom=d.unruh AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f68.google.com
Ironport-phdr: 9a23:ZUiu2xSXhZsLshIDH2RJ1WQ8Xdpsv+yvbD5Q0YIujvd0So/mwa67ZBCOt8tkgFKBZ4jH8fUM07OQ7/m4HzRZqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5uIBmssQndq9QdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHolTwHNyYn/27Llsx+gqVboBe7qBx+xY7ffYWZOfV6c6/Ye94RWGhPUdtLVyFZHI2yb5YBAekPM+lWoIbyu0ADogGiCQS2Hu7j1jFFi33w0KYn0+ohCwbG3Ak4EtwAt3TUqdT1NKETUeCs0anH0yjIYP1Q2Tfn9YjIcg0qrPaRXbJ2a8rR1EkvGhjYjlWMs4DqIS2a2/0LvmOG4eRgUuevhHQmqwF3ujWv2sYsio/Jh4II0FDE8T91z5oyJd29TkNwfN2qEINIui2EK4d7RtkuTmJotSog1LEKp4O3cDILxZkk3xLTdeCLf5SV7h/mT+meOjR1iXd7dL6jmxq+702tx+/gWcWozFpHqy5InsTIu30J0hHe7taLR/9m8UqkwzmC1xzf5+FBLEwqlKfXNpEsz7gtnZQJq0vDBDX5mEDuga+WaEok/u+o5vziYrr8p5+cM5Z4iw/kMqgzg8C/D+U1PwsUU2iU/uS807Lj/UnnT7lQkvI2lazZvIjbJcQduKG5HxdY3pg/5xu7FTur09QVkWMZIF5bZR6LlYnkNlLWLPD9F/i/glCskDlxx/DBO73sGojCImLekLfnZ7Z99k5cxRE8zdBa/Z1UC7UBLOjvVU/2sdzUFgU5PBCsw+b7FNV90ZsTVn6IAq+AKa/drVuI5v80LOSXf48UuDP9K+A/6PL0jH85n0Udfaiz0pcNZnC4BKcuH0LMan6pg8wIG2oOugd7UffnkkbKBTVXInepVqgx4jU2TZ+9AJ3YboSsm6CamiyyG9tfbSZbCQbIWXzvbsCPX+oGQCOUOM5o1DIeEfC4VoYnyQyr8QH91rxrJ/bV/SsDnZfq1dxx5vbP0xYiszV/SdmelymRXnl5hSYBQTkxwaZ0rGR5y0yfyu5jjvVDU8FL6vVPFAo2KNqUxPd0TtnuRg/HctqEUx7ySc6oRDgtUt83z9IDeG54EtSmyxHF0TGnCPkejPqWAp1x6aia03WnY45wwm3X37Mwl0VjSc9SP0Wih7Vj7E7cCYnTnEjflqCwdK1a0jSe2n2EyD+iu0RZVg9pTKiNYHYFe0ue+cn//F7CZ6KyT7kqZFgSgfWeI7dHP4W6xW5NQ+3ubYiPOjPjqyKLHR+Ng4i0Qs/vcmQZ0j/aDRFdwQ8W9HeCcwM5A3X4+j6MPHlVDVvqJnjU36xmsnrkHFIoiQyHPRU4iuiFvyUNjPnZcMs9m7IJvCB79mdxFVe5ms3MUp+O+Vonc6JbbtcwplxA0DCBug==

Researcher positions (postdoc) within the ERC Consolidator grant “Certified Quantum Security”

As part of the ERC Consolidator Grant "Certified Quantum Security" and the US Airforce project "Verification of Quantum Cryptography", we are looking for postdocs to work on verification of quantum cryptography (or more generally on quantum cryptography).

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 AT ut.ee> if you have more questions about the project, the required background, Estonia, the position itself, or the application process. I can also provide a detailed description of the overall research project.

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.

Applications are accepted at any time (until all positions are filled), and positions can start as soon as possible. Positions are for 2-3 years (up to negotiation).

To apply, please send the following documents to unruh AT 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

Please apply as soon as possible.

[Coq-Club] Researcher positions (postdoc) within the ERC Consolidator grant “Certified Quantum Security”, Dominique Unruh, 03/11/2019