[TYPES/announce] Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University

[Sergiy Bogomolov]

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://urldefense.com/v3/__https://jobs.ncl.ac.uk/job/Newcastle-LecturerSenior-Lecturer-in-Computing-Science/767741201__;!!IBzWLUs!Bhec3MjX9Bs-tc0ijHDcHyj3kp97e8IELL6hg1jCKqzOxUZYwEEA2O91_CYl98oOa0b8jbQvOA9RMA$ 

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