Lecturer in Cybersecurity

Computing Research Association; Bath; On-site; GBP 40,000 - 60,000; Full time

Job summary

An academic institution in Bath is seeking academics in cybersecurity to join the Mathematical Foundations of Computation group. Ideal candidates will have research interests in areas such as post-quantum cryptography, formal methods, and verification. Applications are due by 10 December 2025, with interviews scheduled for 26-27 January and 2-3 February 2026.

Qualifications

• Research interests in post-quantum cryptography.
• Knowledge of formal methods and verification.
• Understanding of complexity, logical systems and type theory.

Job description

The Department of Computer Science at the University of Bath is seeking academics in cybersecurity, who will join the Mathematical Foundations of Computation group: https://www.bath.ac.uk/research-groups/mathematical-foundations-of-computation/

We’re particularly looking for individuals with research interests around fundamental aspects of cybersecurity, including but not limited to:

• post-quantum cryptography
• formal methods and verification
• complexity, logical systems and type theory

The official job announcement and online application form can be found here: https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=AP13145

Important dates
Application deadline: 10 December 2025
Interviews to be held on: 26-27 January and 2-3 February 2026

For any questions about the post or the recruitment process, please contact Eamonn O'Neill ([e-mail]) or Thomas Powell ([e-mail]).