Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University


Chronological Thread 
  • From: Bas Spitters <b.a.w.spitters AT gmail.com>
  • To: coq+announcements AT discoursemail.com, Coq Club <coq-club AT inria.fr>, Agda List <agda AT lists.chalmers.se>, lean-user <lean-user AT googlegroups.com>, fstar-club AT lists.gforge.inria.fr, types-announce AT lists.seas.upenn.edu
  • Subject: [Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
  • Date: Wed, 11 Oct 2023 12:57:47 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=b.a.w.spitters AT gmail.com; spf=Pass smtp.mailfrom=b.a.w.spitters AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f46.google.com
  • Ironport-data: A9a23:neD5ya3nNTvToN/tpvbD5bp0kn2cJEfYwER7XKvMYLTBsI5bpzJTy 2MZXjiEP/mDNzOmc4xzaYTl8xwFv5/Rn9RlHVFr3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8Us25ayr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3bl6NNrF0JsB9Ij/Lp2LGRW3 q0dIhlYO3hvh8ruqF66Yuxlh8BmIcWyeY1D5DdvyjbWCftgSpfGK0nIzYUAjXFg24YURaaYO 5RxhTlHNHwsZzVFfF5RF9QlhOa0mnTlaBVXrVuUoew85G27IAlZieO1boaJKo3VLSlTtkSUq T3HoH34OQtZGP664xza/HXr1uCayEsXX6pXTtVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuQ9WkGhPk/jiLuRkTX9cWGOo/gO2Q9pfpD8+iLjBsZlZ8hBYO7afanBR7j QfbrMCjHjF1rryeRFSU87re/3v4OjEYISVGLWUIRBcMqYur6owirAP9fvA6Go6Mj/rxBW7Rx RKOp3MAnLk9t5MA+Ji62lHluAiSgKb1YDQ73SjtZVL93DhFPNakQ6eK9Wnk6e1xKdfFb1uZ4 1kBtcuszMEPKpCvkiaybv0HN+yr7azdMRn3o11mL78+/RuDpl+heoFx5mllBUFLa8wrRx7gU HXxiyhwuqBBHSKNRrBlRq6MEOIW9LjEOfW5c+HLf/xMT4NUdgTazBpxZEWV4X/hoHIsnY47J 52fV8SmVlQeNohK0xu0QPU7w5Yw5yVj217We4/3/y6n3ZWaenSRb7UPa3mKT+Ih6ZK7sBfny MleO+SK2idgfrXHOAePyrEqLHcOMXQfLrL1oZYOdue8fyxXKFt4APrVmb4ca4hpmppOrdjx/ 1a/ZB586EH+jnj5Owm1eihdSLfwb61e81M/HwIRZGiN5VZyQLyS/J8+doQ2d4YJ7OZM7+B5Z NhbdtSiAsZgcCXm+TMcZ6bTtIZJLRCZqS+SDSicOhw6c4BqHQDSyOS5fAG1rCgqJQi0vPsYv LeP+F76Q50CZgI6F+fQSqul4G2QtEgnutBZfhX3MPxMXkTz4a5WKyDVpd0mEfEmcBns6GOT6 FeLPE0+u+LInb4QzPDIoqK196GSDOp0GxthLVnxtLqZG3HTwTu+/NVmTu2NQDH6UVH08oWEY cF+7an1EN8DrWZwn7tMKZRZ5oNg2IK3vJ5f9BpuI1vTZVfyCr9AHGiP7fMSioJznI1mqSmEc WPR3OkCIriYGtLXIHhILiofU+mz//U1mD7T0PcLHHvH9BJHpISgb0EDECSP2Qp8LaR0OrwL2 e0OmtAbwC3hhwsIMuSptDF19WONHCZZU6wYqYwrWt73qws0y2NtZY7XJT/27aquNfRNEBgOC R2FiJXSg49zwhL5TEMyMnzWzMxhio8rqjkT6HM/f3Gyhcviqtos+R9g4RAbb19y8E1c8uRRP mNLCRVEFZ+W9W01uPkZDnGeJQ5RITa4pGnjwEQtv0/ERRCKUmftEjUMCdyV9hpEz1MGLylpx 5DG+mPLSj2wQdrQ2BE1Uktbq/DOa9x92wnBucK/FfS+AJgITmv5s5CqeFY3hUPrMeEpiG3Dg NtazuJ6RKn4FCwX+qMFUtjQkfxaTR2fP2VNTM1w5K5DTymWZDi23iPIMEyrPN9EI/vR60KjF shyPYR1Wg+j0DqV5CUubULWz2SYQNZyjDbDRl/qGYLCm76Wrz4svZ6Jsyai2ikkRNJhlct7I YTUH95H/qp8mlMM81IhbuEdUoZ7XTXATAL51eGxtu4OEvrvdclyJFoq3OLcU2q9aWNaEtH9g O8HT6DTxu1mj49rmuMA10mF6xqccbvOaQhDzOx/Xxmioz8C3Qciej75cmXaAjk=
  • Ironport-hdrordr: A9a23:v6h4gq19xYPocJK0TOgy/QqjBLEkLtp133Aq2lEZdPUzSL3/qy nOpoV96faQslwssR4b6LO90cW7IU80lqQV3WByB8bBYOCOggLBR72KhrGSpgEIdReOktK1Fp 0NT0G9MrDN5JRB4voSKTPXL+od
  • Ironport-phdr: A9a23:nqQxXBG0wBot8IJi7gdJZp1Gf9JFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33BmUDc6AsboE07OQ7/q+HzRYoN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sL xi6twXcu8oZjYZsNKo61x/FrmdVd+hMym5kO1Oekwzg6sus+ZJo7jhdte8m+8NcS6vxYr42T aZfDDQoMmA14NPkuBzeRgaR5XUST3sbnANQDwfK8B/1UJHxsjDntuVmwymVIdf2TbEvVju86 apgVQLlhz0GNz4992HXl9BwgadGqx+vuxBz34jZa5yOOfFgYq3SY88VRWtZXsZQSSNBBJ+8b 5ASBOYFJOpUspXxq0cLoRa4GAKiBv7gyiVQi3D53aM03ecvHxzY0gM8ENwDq2jUrMzvOasOT ey50KvFwDPeZP1Wwzf9743Ifwg8rP6WRrJ7bNffyVEuFwPZklWft5blPyiI3ekKqGeX9fBvW fihimI9sAFxujmvxtswiobXnIIV0UvJ9Sp8wIkvJN24TFR3bsKjEJtVriyXMZZ9Tcw+TW9yo ik61qEGtoChfCgM0JkpxxzSZvOIfYWU4hzvSuKcLCt5iX57ZL+zmQu+/0evxOD8WMe501VHo y5Yn9TStn0D2BLd58uGR/dg8Ums3TaB2gbO4e9KJkA0kLDUK58nwrMojJUTrF7PETL1mEjwk aSYdV0k9/C25+j7ZrjqvJyROo9uhg3gLqgjmdazDOs5PwUIQmOV4/6z1Kf58k38WLhKjuM5k q3esJ3CIMQUvK+5AwtM3ok99hmzEi6q0NoXkHQGNl5FdxWHj4/mO1HKPv/0F+uwg1OpkDtzx vDGOKPuAonVI3TdjLvseaxx5k1cxQYp09xT+5FZBqsOLf/yQkPxscbXDh49Mwy62ebnD9B92 5sFVm6VGKCVKq3TvUWT5uI3IumMeJMVtyjnK/g+/PPugno5lkUcfamtx5cYdHe4HvF+L0Wfe nXjms0BHnsSvgoiUOzqj0WPXSNLa3aoQ608/i07CJ6hDYrbWo+th6WB0D6nEZ1Se2BJEUuBE WzodoWBQ/cDcjieIs5nkjweVLiuUZUt1R+0tFyy970yJe3NuSQes5X+0tN44uDViQoa+T1vB MOAyXqASmh1miUDQDpylIt4uARWzkqJmfxzhOUdHthO7dtIVB07PNjS1bo+Q/n9VguJWtaSV B7yS9qqCBk1T8kt2JkFY095Hti4lVbY0nzuS7sYnrrOGYc56OqI23X4IYNg0Hvc/KYmiFYiT 8RVMnC+neh08A2FQ8bHiFmQjeOhcbkW9CrM73uYi2WAu1tXXUhxV7/EVDYRfA+escXh61iHR rmoDqkhOQZpzc+ZNrAMcdDglhNbXPrlPpLTb3/itX23AEOiz6jEV5LrZ3kQxj6VXEJCmkYMu 22eNBQiCz26i23bBT1qU1noZhW/oqFFtHqnQxpsnEmxZEp72u/wo0ZN7RT9Y/Ya37Ze/Twkt y0xBlG2mdTfF9uHoQNlOqRae9I0plldhirCrwIoGJumIuh5g0IGNRxtthbkkRwxFcNbick2s H4w1yJ9LKuZ1BVKcDbLlYvoNOjvI3LptAuqd7aQ31jf1NiM/aJa4rIx7UqlpxmoClYv6W5P3 Nxc0n/a7ZLPX0IJSZykdEEx+lBhoq3CJCkw44SBzXp3Lay9qSPPwfosDeohjxusJpJRbP3CG wj1HMkXQcOpLYTGgnCPaRQJdKBX/a8wZYa9cueenbSsN6BmlS6nimJO5MZ81FiN/mxyULyA2 ZFN2Pye0gadMlW0xF68rsD6n5xFbjAODyK+zybjHotYeqx1e84CF26vJ8S9wtg2iYTqXjZU8 1uqBlVO38HMG1LaZRr0mxIWzlwWvWCqgzCQwDl9kjVvpa2anWTPz+nkaBsbKztTXmAx6DWka YOwjt0cQA2pd11zzErjtRu8nfAL4vghfAyxCQ9SciP7Ln9vSP61v7uGOYtU7Y8w9D9QW6K6a EybTbj0p10b1TniFi1Q3mNeFXnit5Pnkhh9kG/YImx0qS+Tc4d5gwiZ/8TdWeJcxCEuSyxxi D2RDV+5dYrMn53ch9LYv+ayWnj0HJcVeG/0i5iYtTen6HdxKRK6lvG33NbgFEJptE2zn8kvX iLOohHmZ4Dt3KnvKuNrcH5jA1rk4tZ7EIVz+mcprKkZwmNSxpCc/H5d1Hz2Lc0ew6X1KnwEW T8MxdfRpgnjwkxqaHyTlcr1UXCUw80pYNffACte0GQ0qd8ME7+V8KBJhzBdrV+xrAaXav941 jsQ0voh7ncGjvpB4lJ8iHXAROpKTQ8EY2TljHHqp5imob9SZXqzfLT4z0d4kd27TfmDrgxaR Hfla8InFC504N94NQGE23ny54f4PdjIOIhL51vEzlGa17gTdMxi85hCzTBqMm/8o3A/nusyj Bg0mIq/oJDCMWJmuqSwHh9fMDTxIcIV4DDky6hEzaP0l8iiGItsHjITUd7mV/WtRXgY8/2hK ECVCDwgtnqBApLQGAae7AFtqHeFQPXJfzmHYWIUy9lvXkzXLgpWxh9SRy07goI0DBuCy8noc UM/7TcUrA2dyFME2qdjMB/xVX3arQGjZ2IvSZSRGxFR6xlL+0bfNcHNpvI2BSxT+Yet6RCcM mHOLRodFnkHAwbXYjKrdqnr/9TL9PKUQ/azP+ebK6vbsvRQDr+J3c79idYgpmfUcJ/TYT86S KdnkktbASInR4KDwG5JEnJP0XqKNp/+xl/0+zUr/J7htq2zAkS3o9PIUeMaMM0zqU7ox/3fZ qjA3GAhbmwAnpIUmS2Xkv5GgBhL2nsoL370QdFi/WbMVP6CxfMRVkRGLXs1bIwRseo9xlUfY JaLzIqqifgoyKZyUQ4NVES9yJj2PopTcj37bBWfQx/VUdbObTzTn5OtOfL6GeAW1b8E8UX34 GnTEle/bG7ayX+0B1b2YLsK1GbCbVRfoN3vKE8zTzK4HZS9MFvjd4Ym6F9+ias9gneAXYIFG R57dU4F7riZ7CcCx+56B3QE9H1ua++Nhyee6eDcbJcQq/piRCpuxapc5zwhxr1Z4TshJrQ9k TbOrtNov1Ctk/WegjthXh1Urz9XhYWN9Ux8MKTd/5NEVD7K5hUIpWmXDh0LoZNiBLiN8+hIz cPTkavoNDpY29fd/M9ZCsSNbczbbjwuNh3mHDOSBwwADHaqOWzZm01BgaSS+3mS/f1Y4tDnn JsDTKMeVURgTKtLTBQ4WoZacNErAGBB8/bTlsMD6HugoQOEQcxbusqCTfeOGbD1Lz3fi7BYZ hwOyLe+LIIJN4S91VYxDzsy1InMBUfUWshA5yN7aQph6k8L+T5hCHYr2l75Zxm2yHAWHP+w2 BUxj0EtBIZlvCep+FoxKlfQ8WEol1ItnNz+nT2LWDv4LaP1UI0PTiSo6Q4+NZT0RwszZgq31 x8BVn+MV/daiL1ucnpugQnXtM5UGPJSeqZDZQcZ2fCdY/hAObt0pSCuxEsB7uzAW8IKfO4Cf pulrnYG0AVmPoZdzU34IaNIyh1divvLsHP2kO82xwAaKgAG92bAIEY1
  • Ironport-sdr: 65267fbf_kLw0X1SrraQ28srIknvyy9M3uopH3HokD31z6woKOdfjaDk emTAOfDQUrXNqFkPLjRZx77vyGwTzyvrwzzZP+Q==

We are looking for a strong PhD-candidate at Aarhus University (DK).
There may be possibilities for a postdoc position. Please contact me
for more information.

Project “Verified voting protocols and blockchains”.
A description of the project can be found below.
Deadline:1 November 2023.
https://phd.nat.au.dk/for-applicants/open-calls/november-2023/verified-voting-protocols-and-blockchains

The PhD positions include full tuition waiver and a very competitive
scholarship.
Aarhus University provides international students with a safe and
stable environment, a high standard of living and a wealth of social
opportunities.
Besides having an excellent reputation that enables our PhD graduates
to find outstanding employment prospects, Aarhus University offers
attractive working conditions, research support and campus resources.
https://cs.au.dk/education/phd/
https://international.au.dk/

---
This project is supported by the Danish DIREC research center. It is a
collaboration between Aarhus University, the Alexandra Institute and
Concordium ApS.
The aim of the project is work towards secure implementations of
Blockchain Voting Governance Protocols and Internet Voting Protocols.

Voting and blockchains are intimately connected. Voting is used in
blockchains for consensus, governance, and decentralized
organizations. Conversely, elections are based on trust, which means
that election systems ideally should be based on algorithms and data
structures that are already trusted. Blockchains provide such a
technology. They provide a trusted bulletin board, which can be used
as part of some voting protocols. Moreover, voting crucially depends
on establishing the identity of the voter to avoid fraud and to
establish eligibility verifiability.

Decades of research in voting protocols have shown how difficult it is
to combine the privacy of the vote with the auditability of the
election outcome. It is easy to achieve one without the other, but
hard to combine both into one protocol. Thus, the topic of this
research proposal is to investigate voting protocols and
their relation to blockchains.

The team will work on (machine-checked) security proofs of
these protocols and their implementations, for instance using tools
such as ConCert and SSProve which are built on the Coq proof
assistant.


  • [Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University, Bas Spitters, 10/11/2023

Archive powered by MHonArc 2.6.19+.

Top of Page