Lecturer and Senior Lecturer/Reader positions at Bath

Stream: job postings

[Matthew Ballard]

This got forwarded to me.

=====

• Lecturer and Senior Lecturer/Reader positions at the Department of
  Computer Science, University of Bath, UK.

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://www.bath.ac.uk/research-groups/mathematical-foundations-of-computati
on.

We are 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://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11492 (Lecturer)

https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11490 (Senior Lecturer/Reader)

Important dates:

Application deadline: April 5, 2024 (this week!)
Interviews to be held between: May 7 - 9, 2024.

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