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

[Gardner, Philippa A]

Just a reminder that the deadline is on 7th January 2019. There is a real opportunity for PL-ish subjects, interpreted broadly. In particular, we have people retiring and people moving to industry (for good reasons not bad!) so we have a real chance to persuade the Department to bring in new people.

Details below.

Philippa


On 24 Nov 2018, at 18:17, Gardner, Philippa A <p.gardner at imperial.ac.uk<mailto:p.gardner at imperial.ac.uk>> wrote:

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
_______________________________________________
Concurrency mailing list
Concurrency at listserver.tue.nl<mailto:Concurrency at listserver.tue.nl>
https://listserver.tue.nl/mailman/listinfo/concurrency

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181218/247b43e3/attachment.html>