[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
