[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
<[email protected]<mailto:[email protected]>> 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
[email protected]<mailto:[email protected]>
https://listserver.tue.nl/mailman/listinfo/concurrency
