<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p> </p>
<div class="moz-text-html" lang="x-unicode">
<p> </p>
<div class="moz-text-html" lang="x-unicode">
<p> </p>
<p style="margin-bottom: 0in; line-height: 100%"><b>Researcher
positions (postdoc/phd) </b><b>within the ERC Consolidator
grant “Certified Quantum Security”</b></p>
<p style="margin-bottom: 0in; line-height: 100%">[Below is the
description of postdoc positions. Phd positions are similar
and can be found here: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://tinyurl.com/phd-vqc__;!!IBzWLUs!G9wHTdXdWlTau8RitJ396YNzA2QJuyojaZWpZgzfMS_VVNrePzjw7J3rIY2yg34clFKiU1DgYZo4VQ$">https://tinyurl.com/phd-vqc</a>]</p>
<p style="margin-bottom: 0in; line-height: 100%">[This call can
also be found here: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://tinyurl.com/postdoc-vqc__;!!IBzWLUs!G9wHTdXdWlTau8RitJ396YNzA2QJuyojaZWpZgzfMS_VVNrePzjw7J3rIY2yg34clFKiU1Ak4zl_Ag$">http://tinyurl.com/postdoc-vqc</a>]</p>
<p style="margin-bottom: 0in; line-height: 100%">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).</p>
<p style="margin-bottom: 0in; line-height: 100%">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.</p>
<p style="margin-bottom: 0in; line-height: 100%">The <b>ideal
candidate</b> would have experience in:</p>
<ul>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Semantics</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Theorem
proving</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Verification
of classical cryptography</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Quantum
cryptography</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Quantum
computation / communication </p>
</li>
</ul>
<p style="margin-bottom: 0in; line-height: 100%">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!</p>
<p style="margin-bottom: 0in; line-height: 100%">Please contact
<b>Dominique Unruh <a class="moz-txt-link-rfc2396E" href="mailto:unruh@ut.ee"><unruh@ut.ee></a></b> 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.</p>
<p style="margin-bottom: 0in; line-height: 100%">The <b>salary
range is 30000-36000 Euro</b> 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.</p>
<p style="margin-bottom: 0in; line-height: 100%">Applications
are accepted at any time (until all positions are filled), and
positions can start as soon as possible. Positions are
typically for 2-3 years (up to negotiation).</p>
<p style="margin-bottom: 0in; line-height: 100%"><b>To apply</b>,
please send the following documents to <a class="moz-txt-link-abbreviated" href="mailto:unruh@ut.ee">unruh@ut.ee</a>:</p>
<ul>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Curriculum
vitae (please explain your scientific background)</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">List of
publications</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Research
plan (i.e., how do you think you could contribute to the
topic)</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">At least
two letters of reference (please ask for the letters to be
sent directly to us)</p>
</li>
<li>
<p style="margin-bottom: 0in; line-height: 100%">Phd degree
</p>
</li>
</ul>
<p style="margin-bottom: 0in; line-height: 100%">Please apply as
soon as possible.</p>
<p> </p>
</div>
</div>
</body>
</html>