PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University

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/