[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
I would like to draw your attention to a current Imperial advert for six
lectureships at http://www.imperial.ac.uk/computing/job-vacancies/. The target
areas for this year are theoretical computer science, artificial intelligence,
software reliability, and hardware and systems; all should be interpreted
widely. In addition, exceptional candidates in other areas are encouraged to
apply.
Deadline: 7th January 2019.
This year, we have a good chance to be able to hire in (some of) the theory
theme, the programming language theme, and the analysis and verification theme
in the Department. The target areas of theoretical computer science and
software reliability link directly to these themes. Since I arrived at
Imperial in 2001, there has not been a single target area associated with these
themes, until now.
We have six lectureships available, rather than the usual one or two, due to a
decision from central Imperial to expand the Department. This is a real
opportunity, as there is much more flexibility than in previous years. I very
much encourage excellent candidates to apply for these positions.
Please don’t hesitate to contact me, or other academics in the Department, if
you have any questions.
Best wishes,
Philippa
