[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]The Computer Science Department at the University of Oxford is hiring three faculty members, open to all areas of computer science. As you'll know, Oxford is a great place for types mailing list members! The story goes back to the Programming Research Group in 1965, but here are some current faculty: https://urldefense.com/v3/__https://www.cs.ox.ac.uk/research/pl/people.html__;!!IBzWLUs!Qt4sazd-HtOXjh___XvWcXWacmk2r6WWkYEGyE2c-Oj2g0oxFDYLtZu_JFw4KYs3DYybFhiazwYkVDi35njjqHAbZMaCRk2KSZyHqQ$ https://urldefense.com/v3/__https://www.cs.ox.ac.uk/research/verification/people.html__;!!IBzWLUs!Qt4sazd-HtOXjh___XvWcXWacmk2r6WWkYEGyE2c-Oj2g0oxFDYLtZu_JFw4KYs3DYybFhiazwYkVDi35njjqHAbZMaCRk0KxlGZ4w$ The closing date for the two Associate Professor / Professor positions is 12 noon UK time on 18 December 2024. There is also a Chair in Computer Science. Details: https://urldefense.com/v3/__https://www.cs.ox.ac.uk/aboutus/vacancies/vacancy-faculty-hiring.html__;!!IBzWLUs!Qt4sazd-HtOXjh___XvWcXWacmk2r6WWkYEGyE2c-Oj2g0oxFDYLtZu_JFw4KYs3DYybFhiazwYkVDi35njjqHAbZMaCRk0OozamKA$
