[TYPES/announce] Lectureship positions in Bath

[Thomas Powell]

The Department of Computer Science at the University of Bath is seeking to appoint two new members of staff to join the Mathematical Foundations of Computation group:

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

We're particularly looking for individuals with research interests in 

- mathematical logic
- the theory of programming languages
- computer assisted reasoning, including computer algebra

The official job announcements and online application forms can be found here:

https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11492__;!!IBzWLUs!SXTat20K4F8dvDX0lS11PEqFD0p2a0axXZJEEL9SGriRTDqKmdgz4WZzSVZFfNewHAKDdtwp4jCftNyAQ1o3InkCghqvIaTC$  (Lecturer)
https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11490__;!!IBzWLUs!SXTat20K4F8dvDX0lS11PEqFD0p2a0axXZJEEL9SGriRTDqKmdgz4WZzSVZFfNewHAKDdtwp4jCftNyAQ1o3InkCgrZoZn4W$  (Senior Lecturer/Reader)

*Important dates*

Application deadline: 5 April 2024
Interviews to be held between: 7 - 9 May 2024

For any questions about the post or the recruitment process, please contact Thomas Powell (trjp20 AT bath.ac.uk).