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. )

A description of the project can be found below.

deadline 1 November 2022 at 23:59 CET.

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.