coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)

From: Dominique Unruh <unruh AT ut.ee>
To: cl-isabelle-users <cl-isabelle-users AT lists.cam.ac.uk>, EasyCrypt Club <easycrypt-club AT lists.gforge.inria.fr>, types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr
Subject: [Coq-Club] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)
Date: Thu, 25 Feb 2021 14:41:42 +0200
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ut.ee; dmarc=pass action=none header.from=ut.ee; dkim=pass header.d=ut.ee; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=D3gqXE40bVJmVjN/pFXAwzf8BTt2nChiTpvPJrkf+VE=; b=CZhJuPIACh1824Kv9rMnUQHeQe+ofGsbWKePFFca57iSJk0c1qmn+0IzJKT+EwLlyMcZKOf93oCRvtJ04iSFdPM/IlHzVdOmtiaz/rkLyMH7pfeuVrJc7J/OhsCYw/8MJzmDOgvVpUkVtP+I4xl0ho9LADq9SzRiWqK15+mxHFb5YeLnobtzsye95kcYKZHDfVKqncEURcwLYZTVasI5aPWS6VdApwevdbXDS7cZbt58V/ADPZxIRQIvBf7Txy+B2UuWBCjT8qkKYzgX2kOBWnYubYp30dUGnJ95iEm2Yz4WQGp0wign3bPwUs/+VHRjPC/8YqBeo4qa3pvYuiKFiA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LcqFZlvfl3G6hANgqLcNnmKmSGL6VZMbypEPSTScnnJzdM/pvz68xT35eb4y1MKUHqfvvg9/puArqZ+w3TTD1YxHpL2XRJ+FE3zefG9Y1IxTbugl0k4eqg12tBJD8cSzSQLLTGj0ylsfYEo9QGUvmMrPpxIwRORb6rfBPI6VqTBorAVCPdHPjGQcM6RAcajTZf64cxRHS7KmVsxuw3vbTHYMnwRkXNLjKDHWhQTC81XGBDs8xCxTguPYf/K0vRiPqBe+c7TXGu1SM1B38Y8Z2Rz5NW/YC6dvpG0tYXPhn2CNXN+W70fon4Y4JYa7m829lTrMkPFUdnYzqCS0vtaIOw==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=unruh AT ut.ee; spf=Pass smtp.mailfrom=dominique.unruh AT ut.ee; spf=Pass smtp.helo=postmaster AT EUR05-AM6-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:WwuQwBD3YSZk0oH1HAcQUyQJP3N1i/DPJgcQr6AfoPdwSP36psiwAkXT6L1XgUPTWs2DsrQY0ruQ4/CrBzFIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLd/IA+1oAjSucUbgItvIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1kyoMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOmd4YBEeoPM/tboYfzqVQBsRSwBQijC+701j9FhGX70bEm3+kvEwzL2hErEdIUsHTTqdX4LKkcUeewzKnJyzXDbupW2Srj54PVfB8hp+uMXa9wccHMzkQvCgXFjk+NqYzlJD6Vy/gNv3KF4OV+TO+ijXMspA5trDa13MgslpXJiZwPylDC7Sh0wIc4KcOlRUN1btOpEIdcuSGHOoZqXs4vX29mtSQ1x7MJt5O2YisHxpomyhPDdvCKd5WE7xb9WeqNPTp1hn1rdbSijBi89kigz/fzVsiy0FtSsypFjsPAuW4T2BHV98OJSeN981+u1DqTzQzf9/1ILEIumabFNZIt2KM8moQRvEjbACP6hFn6gLKTe0o/4eel6OHqbqv6qpOAKYN5jx/yP6sylsCjBOk1MwkDX2aG9um52rDu/1f2T69Pg/A2jqbVrpTXKMEYq6GjHQBY04Au4AulATi8ytQXh3wHIUpFeB2Zi4jpPEnDLv/2Avmjn1ihkC5nyuzBMLDgG5nNKWPMn6n7cbZ69k5c1BE8zddC55JSF74NOurzWlX2tNzEEBA2LxC0w+fgCNV7zI8eXn+PArOdMKPVtl+I5fgjLPWLZI8QoDr9Kv4l6ODyjXIhllIRYbOl0YYLZH26BPhqPVuVbWDxjtsfE2oGpg8+Q/briF2GXz5TfXGyX6ck6z4mD4KmCIbDRoasgLyYwSe0AIdaZn1AClCWDHfod56JW+oQaC6IPMBujCQIVaK9RI85yRGuqAj6xqJ7IerT4y0UrI7s1Nxo5+LIjhwy7jx1D8GF026XVW10n2UIRyU33K9lu0B9xE2DguBEhKlTEZlS/PpDXwM+ONvB1OFgEJimUQaEf8yAQluiRtjjHCo8VMkZx94Vf107ENynyBnImTepVftdurWQFbcu47rAl1P1Osw1n3vPz7gqlUg+Xo5EMXCsrqp+7BTIQYHHlF+WmuCrc74d1WjD7jHHhXafpExDFQd2V6LYW3sSTk/XtsjioFjPRqToFKwqNA0HxMKfbuNBbcSshlFbTt/iPs7faiS/gTSeHxGNk5+LaYvsenwA0W3gDlIZk0hH4HCcKAgWGzvnrm+IX28mLk7mf065qbo2k3i8VEJhiljSNxQ8hYrwwQYcgLmnc91W3r8Av3t++RhJJg7gmvvzVZ+HrQcne7hAa9Qg5lsBzXjeqwF2Ip2nKeZlm0IadAN0+Ujp0kcuU9kSoY0RtHoviTFKB+eAyloeJS6Em539aOWOezvCuSu3YquT4WnwldOf+6MB8vM99Af+oEekGxh7/g==

Dear all,

I would like to announce open postdoc and (fully-funded) phd positions.

We are searching for candidates who are enthusiastic about driving forward the field of formal verification of quantum cryptography, either from the theory side, tool side, or the quantum languages side.

For more information, see here: https://crypto.cs.ut.ee/Main/PostdocInVerificationOfQuantumCryptography (postdoc) and https://crypto.cs.ut.ee/Main/PhdPositions (phd).

Please forward this to anyone potentially interested, and do not hesitate to contact me.

Best wishes,
Dominique.

[Coq-Club] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto), Dominique Unruh, 02/25/2021