The Cryptography group within the Department of Computer Science has grown considerably in the last year and additional researchers are required in the following areas:
- Analysis of “real world” protocols
- Formal Methods applied to security protocols
- Fully Homomorphic Encryption
- Lattice Based Cryptography
- Provable Security, i.e. Protocol and Mechanism design
- Multi-Party Computation
You will hold a PhD, or expect to be awarded soon, and have experience in one of the sub-areas of cryptography mentioned above.
You will have a good level of analytical skills and the ability to communicate complex information clearly, both orally and through the written word together with the ability to use personal initiative, and creativity, to solve problems encountered in the research context.
Ideally, you will also have a strong publication record in top relevant venues, such as the IACR conferences and journal, ACM-CCS, IEEE S&P, ESORICS, etc
Appointment may be made at the Research Assistant (grade I) or Research Associate (grade J) level depending on skills and experience and will be for 2 to 3 years in the first instance.