[Agda] PhD vacancy in Formally verified crypto at Aarhus

[Bas Spitters]

At the Concordium blockchain research center in Aarhus
http://concordium.au.dk
we have a vacancy for a PhD-student on formally verified crypto.
http://phd.scitech.au.dk/for-applicants/apply-here/may-2019/verifiable-cryptographic-software/

There are regularly positions at other levels too. Please contact me about this.

Incidentally, from may 27 to May 29, 2019 we are organizing:
WORKSHOP ON THEORY AND PRACTICE OF BLOCKCHAINS
http://concordium.au.dk