PhD position at Aarhus

Stream: job postings

[Jeremy Avigad]

"Privacy-Preserving and Software-Independent Voting Protocols"
https://phd.nat.au.dk/for-applicants/open-calls/november-2022/privacy-preserving-and-software-independent-voting-protocols
"The team in Aarhus will work on (machine-checked) security proofs of these protocols and their implementations, for instance using tools such as ConCert and SSProve which are build on the Coq proof assistant."