coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification

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 <easycrypt-club AT lists.gforge.inria.fr>
Subject: [Coq-Club] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification
Date: Sat, 5 Feb 2022 21:42:35 +0200
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; 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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=d/x7HsMRSyzQCMsi7yQXPDvzrr3QT4wt6Ds7Vtx9L/A=; b=S1nGvUlC02FwUsjIngmaEsv38snTf2jmCHq+vbJRFkwR5COoGmVY+FJTnfCGOiwIBXTXKGa9GpS84zmDwYUZnEcbErCW0iY71pHUX964FuDxxEeNSNH1s1q3QUleUjtZcePXRfbEWxfKHyukVdzjXLeT8OkWrAYpCBJ4zhihKLn9q4k4tmGn5UC3JEQIsg6k95j80c4E429XX11pekvSYTKKuQVJG5o34gcmpwyJOquvAibCrROwNiS7s6vISeGxXTkuTyZqVixfrktsXVBTY8bDrIv1JsBaAg0FG+uJdZBU3XsOxYfTLYR5WJhb9hlW6+S1kLfh0ymzBIKOBImOmw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Akvg8+jhSJ7C7dgajuQ5+iZkp9tRZcvvI3qIWUsQ/4rCetVSUWxPqJYCII+w6q/kspcoNVim4rVukP2RGHOcod3NJsLxZXa5ttlb2VAqhwSVooj8W5kCZG8Yg/osMgeVZXhhY7MU1Ikfyw0xy018CH/AHDwI4+7bE4w1QrWYiz0ngJc97aQtSrZz3+FBbeATBLtcah5PLYiaE+7lI6YOAphyVHhjFjYxWGi9y335/VQsFIRedRPTkB2+zXCS8K4lg7IGC2KvB9MkjCnhlJAls0uCqyGyB29CiDohhgwH6FAYlCDd5bjg7ZnWaAlnxonG2e6zhX0JoSMoC+Af7xdcYA==
Authentication-results: mail2-smtp-roc.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-DB8-obe.outbound.protection.outlook.com
Ironport-data: A9a23:6TKLqKnFJff0KDLnYplbRgfo5gzaI0RdPkR7XQ2eYbSJt1+Wr1Gzt xIcCz2OPf7ZajT0eowiYYS/9EsG7MfQmNQxQFBury40Q1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTres1hlZHWeIcg944f5Ys7N/0t4AbeSRWVvX4 4uo+5CHYjdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1RnLO/YjwoApbjhbVAeBl+DR5SDYhvreqvzXiX6aR/zmXrTkG0nrBCJhFzOocVvOFqHWtJ6 PoUbigXaQyOjP63x7T9TfRwgsMkL4/gO4Z3VnNIkWmfVK55B8qbBfyQv7e03x9o7ixKNfrZY ssfaCNyYVLdZQdSOn8KFNQzkY9Eg1GmIm0H9AzK/8Lb5UCLx1Nw3qftc+H+VcStYO5wsR+T/ GPvqjGR7hYyb4XEkmXtHmiXruTIhGbwXJ8YPKap8+ZjxlyV3G0aThMMPWZXutG8g0+6Ht5Ve 0EJ4HJzqq5orRbxCN7gQxe/vXiI+AYGXMZdGPE77wfLzbfI5wGeBS4PSTsphMEaWNEeWRUF2 XSynu/SKiE+7ZaVb2yi2oexhGbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl3rUZ/hmgn Fi3QDgCa6Y70JVQjPXilbzTq3fy/MWYFmbZ8y2OBjr9hj6VcrJJcKSJxDA3B95sMYydT1/pU JMst5DEhAziJbWAlSqWXOgXdIxFCt6AOTzYxFJlT5Q87Wzw/Hj5JNoKpjZjOE1uL8AIPyfzZ 1Pesh9Q45kVO2a2aahwYMS6DMFCIUnc+TbNCa68gjlmO8QZmOq7EMdGOBX4M4fFzRJErE3HE c3HGftA9F5DYUid8BK4Rv0GzZggzT0kyGXYSPjTlkr7iuvPNSLNEe1UYDNii9zVCovU8W05F P4PZ6O3J+l3DLSWjtT/rdNPfA1ScSBT6W7e8p0PK7bTSuaZJI3RI6SImuh+E2CUt6FUnf3P5 XazRgdTz0DngmfONQSNbBhehEDHDP5CQYYAFXV0Zz6AgiB9Ca72tft3X8ZpIdEPqbIypdYpH qFtU5jRWZxnF2WXkxxDNsOVhNI5K3yWafemZHfNjM4XJMI7GGQkO7bMImPSycX5JnDr7Jtl/ ez8iV+zrFhqb10KMfs6ocmHlzuZ1UXxUsorN6cRCtUMKkjq7qZwLCn90q0+L80WdEfe2n2X2 l/OUxsfoODMpa4z8cXI3Prb/93wSbcnT0cKTXPG6buWNDXB+jbxy4F3VuvVLyvWU3n5+fn/a OgMl6P8PfQLkUxkqY15F7o3n6sy68Gy9aJGiAlpRS2ZY1OuA7JmA3+HwcgW7PIdnOYD5VLnV xvWqNdAOLiPNMf0K3IrJVIoPraZyPUZujjO9vBpck/00yl6oeicWkJIMhjQ1SFQIecnMI4hx ut96sca5xbj10gHD+ze02V43TTJKXYNFaI6qpsdHYnnzBIxzU1PaoDdDSmw54yTb9JLMQ8hJ TrN3PjOgLFVx0zjdXsvFCeSgrMN38hW4B0ankUfI1mpm8begqBl0RBU9wMxRFsHwxhC1dV1J WU2ZVZ+Ir+D/mszicUfDXqgHRpNWE+Q9kDrlgJbkWTYSwykXDzAMXdlZOGLphlDqSRbYyRR+ 6yexCD9SzH2ccrt3yw0H0l4t/jkSt83/QrHwZj1E8OAFpg8QDzknq7xOjVR+0G7WZs81B/du O1n3OdscqmkZyMdpqsMDYPFh7kdTRazInNPHKN696QTEGCAIzy/1FBi8axqlh+h+hALzaO5N yCqDu9ybUzjkQqk/nUcD6NKJKJolvk04tZEYqnsOWMNr7qYqHxurY7U8S/9wmQsRr2CVO4jf 5jJeWvq/nO43BNpd63l9aGo+VZUpfEZeEvx0YhZNc0XQokbvrgEnV4ai9OJUrb8DOej1w+I+ g7OD0MTIyqO1qw097bR/m5/68lY5D89uClkMOx+jjiWUe7yDA==
Ironport-hdrordr: A9a23:AlHTNagNuEYFJPA7fGzUi/ckrXBQXyt13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03I+eruBEDyewKkyXcV2/h2AV7GZmXbUQSTXeVfBOfZsl7d8k7Fh5RgPM VbAs1D4bTLZDAV7PoSiDPIaOrIq+P3kpxA692/854gd3AMV0k2hD0JcjpzX3cGMDVuNN4cLt 6x98BHrz2vdTA+adm6PGAMW6zmq8fQnJzrTBYaD1p/gTP++w+A2frfKVy1zx0eWzRAzfML9n XEqRXw4uGGv+ugwhHR+mfP59B9mcfnyPFEGMuQ4/JlXQnEu0KNXsBMSreCtDc6rKWG70srqs DFp1MaM8F6+xrqDxKIiCqo/zOl/Ccl6nfkx1Pdq2Dku9bFSDUzDNcErZ5FczPCgnBQ9u1U4e Zu5Sa0ppBXBRTPkGDW/N7TTSxnkUKyvD4LjfMTtXpCSoETAYUh5rD3xHklXKvoIRiKp7zOSI JVfY/hDbdtABunhknizyRSKIfGZAVzIv+EKnJyyvB9nQIm3EyR9HFouPD3qE1wha7Ve6M0mt gsDZ4Y642mbvVmH56VV91xNPdeNAT2MGzx2SSpUB3aKJ0=
Ironport-phdr: A9a23:uJVWyhMXJ7pfoSFH71Il6nbNBRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv68r0A6CDNqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yf6+94fcbghMizawZbF/J wiqoAvMscUbnZFsIbsrxBvTpXtIdeVWxWd2Kl+Wgh3x+MS+8oN9/ipJo/4u+NJOXqv8f6QjU LxXFy8mPHwv5M3qrhbMUw2C7WYBX2oMkxpIBw/F7AzmXpr0ryD3uPZx1DWcMMbrVr0/Ryis4 Ll3Rx/pkCcHNiA28GfLisxrkalXpAutqwFjz4LIZY2YMv1xcL7AfdMBXWpOQNpeVzBPDIO7a osAFesBPeBFpIX5qFYDqR6yCA+xD+3t1zBInGf707M63eo8Eg/I0gIvEM4Bv3nPttr5KL0fX PqpwKTGzzjOae5d1zfn6IjPdxAsuf+CXbV1ccrQz0kvFhrFjkiOpof4MTyV0P4Ns3Wb7+F9U u+vlmgnqxtsojiv3cosl5XJipgLxV/a7Ch0xps+KtKkRkBhe9GkDIdQuD+AN4twWs4vQWFlt Ds0x7EYu5O3YjYHxYgnyRLDZPKJfJaE7xLsWuuVLjp2i3Zoda+jihu87EWtxOzxW9S03ltJr ydIkcfAu3YQ3BLd7ciHT+Fy/kan2TuXywDT6+dEIEAplarBL54t2KI/lp0WsUnFAyT4m132g beZe0k44OSk9vjrb7f8qpOCK4N4kBzyProwlsCnH+g1MxQCUmae9OihyLHs50z0TbBXgvEql 6TVro3WKMseq6O8AQJY1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI17AL/7kA/ujg1mgiTlly u3FM7H4BZXCNWbMnK3mfbZg905T0w0zzc1Z551JEL0BOOjzWkjttNPGEhA5Lw20w+HhCNln0 YMeRH6PAqueMKPVsl+E/P4gI+6JZIMNuTb9LeYq5+L2gHI2hVMRZ7Sl0YcVZXyiAPhqP1+Vb WfyjtsfCWsKuxAxTO3uiF2MSz5TYHOyUroh6TE8DYKmDIHDRoG0gLycwii3BIBWZmZcClCRE XflbJiEW+sWZC2MPMBtijoEWqO5RI87yR6urBP6y6ZgLufM5yEUrYjj28Rt5+3PiREy8iR5A Nia02GUVm17gmcIRyIt061kukx8ylKD0bBijPBCFNxT4elJUgYgOpLGwex6EYO6ZgWUddPMS U2vSNiiBTx0U8k82cRGN015XtS5hxrO2y6nRqIOmqaQLJg16b7HmXP4IoB0wDDb1/9lx1IhW 45EMXCsrq957QnaQYDT1w2Aiq+sabkZmSDK6WGPxHaPu0dDeAt5UKHBXGsDIEzG693yoF7BC /eyGKwqKU5Iz8iFN61BZ/XtjE5aX7H4Nd3FJX+plmG2QxuE2/fEZ5HkPmwBwCjbBEUJiEhH9 m2IcAEiGiqnr2/TFxRrHFPrJkLq//JzozWwVQkpyQDPdEcn27fjvlY4jOeNYOkCxq5MkyM8o X0gEV+mztnMGsKc4gFlYa90ZdIm/EwB2mzerQNweJ2mNaFrwFAEJVdZpUTrgjlwD4RGkNE3o TsXyhBvKerMzVVbajOwwIy2N7CBeTq6xwymd6ODggKW692R4Kparalhw72ClASgF054tm5iz 8EQyXyXoJPDEAsVV5v1FEcx7Rlz4b/AMWEm/42B83pqPOGvtyPancozDb44zAy9f/9CLOWJG Vy6CNUUUvCnM/digF21dlQBNeFW+rQzOpaqcP6H3q+yIesmgTS8kGRv/Zw730/fvzFkRLvw1 o0ei+qdwhPBVzr4iwK5tdvrnIlfeTwINkeC83C5QaJ7Nuh1d4tNDnqyKcqqwNk4n4TqR3NT6 F+kARUBxdOtfh2RKVf62GW8zGwxpnqq0Wu9xj1wyXQyq7aHmTbJyKLkfQYGPWhCQC9ji03tK M66lYJSWk/gdAUvmBa/gCSyj6FGuKRyKXXSSkZUbmD3KW9lSK65qruFZYZG9poptSxdVOn0b 0qdT/bxpB4T0iWrGGU7pnhzajewp5XRggA8hW/cZHd/oXzFeN1hkA/F7Y+UTvpQ0zwaAShg3 GWPQAHkYJ/zpZPNzc2Q14L2H3isXZBSbyTxmIaJtS/hoHZvHQX6hfe43NvuDQk91yb/kdhsT yTB6hjmMeyJn+y3N/xqek5wCRry8c1/T8tylY4xgpAJxHVcm5OP4HovjHu1PNgRisecJDIdA CUGxdLY+l2vxUt5M3Kh2p6/W3jXkYNxItK9ZG0RwCc06ctHXbyV4LJzlixwulOkrAjVbJCRh x8lwOA1oD4fiuAN4k82yzmFR6oVFg9eNDDtkBKB65a/qr9WbSCha+r42E17lNGnRLaMx2MUE Hr+f5YkHDZt44NiNkjR0FXu9sfpdZHcYMkSuRudjxrbx7QNbstpybxQ3Ww+Yzi1tGZt0+Mhi B1ywZy22erPY35g+q60GF8QNzH4Yd8S5iC4iK9fmsiM2IX8Vp5lGzgNQN7pVaf0SHRL7auhb V7ISWdm+RL5UfLFEASS6VlrtSfKGpGvbTSMIWUBiM9lT1+bLVBehwYdWHM7mIQ4H0ak3p+EE g8x6zYP61r/shYJxPhvMky1XmDapQGpcyo5DoWZNgdWxhxeoUrYe5/7jKo7D2RD85utoRbYY GCcYgVODHgUVwqZAUr+PpGz+Z/N/qLLY4j2Z+uLarKIp+tEUv6Ozp/6yYpq8QGHMcCXN2VjB fk2iQJTGGp0EMPDl3ATWjQawmjTOtWDqk72qUgV5oivte7mUwX16c6TBqtOZJ9xrguuj/7LN vbM1nohb2cCkMtKnTiRlfAexAJA13koLmHyV+xG7WmUEsey0udWF0JJNnk1bZMQqfp6hk4UZ Ybako+nj+YkyKJqTQ8DDRu4xYmofZJYeWjlbQGeXR/ZOujefW+ZhJ2nBMH0AbxI0rcOvkXp6 2/CSh3tYmzYxWuuC0DnMOdHiDyXMU5FoI+xNA53DnTuR87nbRv9N8JriToxwvs/gXavVyZUd DF4dwklQqS41SpDmb0/HmVA6iAgNuyYg2OD6OKeLJ8KsPxtCyAyluRA4X18xaEHpC1DQfV0n mPVoLsM6xm+lfKTzzN8TBdUght2vtrW+GlIaeDe/JQGXmvY9hUQ62nWEw4Nu9ZuFtzoveZX1 8TLk6XwbjxF9re2tYMQCtPVJ8SOLHc6eUaxXmeMU01fFXjybzuXjlcViPyI83yJspU24oPhn pYDUP4TVVA4EO8bFlUwHNEGJ8QSPHtsmrqagcgUoHum+UWJApwC4dadDrTLW6+8TVTRxaNJb BYJ377ieIEaN4mhnldndkE/hoPBXUzZQdFKpCRlKA4yukREtnZkHQhRkwrobB2g5HgLGLu6h Bkz30FyZuEs8jb1/lpxO1zQuSsYjVV3lNiv0lXzOHbhaby9W41bEX++r08qLpbyWBp4dyWfo HY8aXLobeIUiLFtM2d2lAXbpJ1DX+ZGSrFJawMRwvfRYOg01VNbqWOswkoNto6nQdNy0QAtd 5CrtXdJ3QluOcU0KaLnL61M1lFMh6iKs3zgxqUrzQQZPUpI7HKKdXtCphkTLrd/bXnNnKQk+ UmYljBEYmRJS/c6vqcg6BYmI+rZhyP4j+wfcgbgbarHafve4jWIlNbUEA9okBpQyA8du+Axi JlGEQLcVlhznubLUU1RbYyab1kSNpYa9WCPL3/W7aORntQted36T7+gTPfQ5vwd2hv2RV9wT YpQtpxTTN7wgCS6ZY/mNOBXkxx1vVayfQzXAqgRI0DZ12tX68C5x5tq0YQPPSkTDSNlKyKr6 73Lpwgsxv2eQNMxZXRcVYwBUxB+EIiznyoT15ylJCSrlO8UmlDqB97UixnqVGS5Q/AzIfCea FVrFc28/ig5/+6uk1nL/57CJmb8c9N/ptvI7uBcrJGCWao8pVZVrlualoQKHhSX
Ironport-sdr: nrAC2U/78XTfS6qFRvedg3UkNOpB0/2gzHYmXNw4YM/algri5BbwVFCcxmShDZcXvgxinEZ/uc 767Xos4z6ra7A9HN/Ym1H3MXvQ3AocZjzdinkcoXSn38ivsmtRWBm+z4VvnEehbJrFW6RR0Y5P t+ZZ/8g7pezmA18D5BAxnUuKlFxyWC4gEZWmha58e7Z65qiY6JsvtkPvdzt42zGKUXAzIlLHlE eThOc0GP0IwrmCnw9FVSm6r0dxMKIyk90MPXQ8iPNFuvwH7T6/ycW3TE+68+WOVLPINbDpdOqG ZYH2qRmTQ/JeeNCMPdjswax6

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

[Below is the description of postdoc positions. Phd positions are similar and can be found here: https://tinyurl.com/phd-vqc]

[This call can also be found here: http://tinyurl.com/postdoc-vqc]

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 typically 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 / phd) in Quantum Crypto and Formal Verification, Dominique Unruh, 02/05/2022