[isabelle] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)
- 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: [isabelle] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)
- From: Dominique Unruh <unruh at ut.ee>
- 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: inria.fr; dkim=none (message not signed) header.d=none;inria.fr; dmarc=none action=none header.from=ut.ee;
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.1
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.