Analysing Cryptography in the Wild

About the Project

We are inviting applications for a PhD studentship in the cryptography lab at King's College London.

The PhD position is focused on the provable security analysis of real-world cryptographic protocols and advanced functionalities. The PhD could, for example, analyse existing secure messaging protocols and functionality that has not undergone formal analysis (LINE), evaluate the formal security properties of cryptographic protocols post-quantum transitions (KEM-TLS) or modelling and designing new cryptographic protocols or primitives (cryptographic logging schemes).

We seek applicants with a strong background in mathematics and/or computer science, preferably with some background in cryptography.

Application process

Applicants are encouraged to contact Prof Martin Albrecht (martin.albrecht@kcl.ac.uk) and Dr Benjamin Dowling (benjamin.dowling@kcl.ac.uk) to discuss the position informally before applying.

Formal Application

To be considered for the position, candidates must apply through the King’s Apply online application system. Full details are available on the Research degrees | Department of Informatics | King’s College London

When applying, please select:

• Programme: Computer Science Research MPhil/PhD (Full-time)
• Supervisor: Prof Martin Albrecht and Dr Benjamin Dowling
• Project title: Include this in your application and all correspondence

In the Funding section of the form:

1. Select Option 5 – “I am applying for a funding award or scholarship administered by King’s College London.”
2. Enter the following code exactly as written in the ‘Award Scheme Code or Name’ box: 854

Funding Notes

A fully funded PhD studentship for 3.5 years to start in October 2026.

Stipend: roughly £22,780.00 per annum, subject to increase

Bench Fees: £1,000.00 per annum

Tuition fees: covered in full for home/overseas students