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 _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club