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.

The PhD positions include full tuition waiver and a very competitive
Aarhus University provides international students with a safe and
stable environment, a high standard of living and a wealth of social
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.