[TYPES/announce] Lectureships at Bath

[Thomas Powell]

The Department of Computer Science at the University of Bath is seeking to appoint two lecturers in cybersecurity, who will join the Mathematical Foundations of Computation group:

https://urldefense.com/v3/__https://www.bath.ac.uk/research-groups/mathematical-foundations-of-computation/__;!!IBzWLUs!SgglNb2Aa_KXn3k6adNkayJULTHRcgtnODNe560BBCVNOH92UiAFKXFfr9vj-OBI79z-JWRbYoCJaEREVrA6-UNQHLRW5JSs$ 

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://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=AP13145__;!!IBzWLUs!SgglNb2Aa_KXn3k6adNkayJULTHRcgtnODNe560BBCVNOH92UiAFKXFfr9vj-OBI79z-JWRbYoCJaEREVrA6-UNQHNaj7s8J$ 

*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 James Davenport (masjhd AT bath.ac.uk) or Thomas Powell (trjp20 AT bath.ac.uk).