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 (maseon@bath.ac.uk) or Thomas Powell (trjp20@bath.ac.uk).
#J-18808-Ljbffr