[finite-model-theory] Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University

The School of Computing here at Newcastle University is growing. We are advertising *five* faculty positions at Lecturer / Senior Lecturer levels (deadline on 27 February 2022):

https://jobs.ncl.ac.uk/job/Newcastle-LecturerSenior-Lecturer-in-Computing-Sc...

Two of these are specifically in the area of *formal methods*. Please do not hesitate to reach out to me if you are interested in applying and would like to learn more about the School.

Thanks, Sergiy