[TYPES/announce] six lectureships, Imperial: target areas include theory and software reliability

[Gardner, Philippa A]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181124/99a6a992/attachment-0001.html>