Logic List Mailing Archive

CfA: Two Lectureships in Cybersecurity (Mathematical Foundations of Computation Group), University of Bath (UK), Deadline 10 Dec 2025

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://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 James Davenport (masjhd AT bath.ac.uk) or Thomas Powell (trjp20 AT bath.ac.uk).
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php