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

Sergiy Bogomolov bogom.s at gmail.com
Wed Feb 16 07:27:45 EST 2022

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):


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

More information about the Types-announce mailing list