International Association for Cryptologic Research

International Association
for Cryptologic Research

All job postings
Multiple PhD Positions
Australian National University, School of Computing, Canberra, Australia

Based in the School of Computing at the Australian National University several fully funded PhD positions are available in on a project called “Efficient privacy-persevering proofs for secure e-government and e-voting.” The positions are for 3 years.

You will work on applying formal methods, particularly interactive theorem provers, to cryptography. The main focus of the project is verifying zero-knowledge proof systems.

The PhD student is expected to have a master's degree or equivalent, and a strong background in one or more of cryptography, formal methods, and mathematics.

Contact: Thomas Haines
Last updated: 2021-11-14 posted on 2021-11-10