[TYPES/announce] Permanent academic positions, Imperial College London

[Gardner, Philippa A]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Hello all,

We have our usual yearly round of general lectureship (assistant professor) 
positions at the Department of Computing at Imperial: deadline **4th January**. We 
have four positions; the added flexibility of many positions usually helps the 
PL/analysis subjects.

In addition, we have 13 (!) lectureship positions 
 which have just been advertised at the recently created 
Imperial-X, deadline **17th January and 28th February** (I do not understand the two 
deadlines, I would aim for the first if you can to dovetail with the other 
Department positions).  The purpose of Imperial-X is to create new ways of 
working between academia and industry, across Departments, with inevitably a 
focus on AI. We count as AI (!), in that there is the virtual SaSSy 
Initiative on the safety and security of our modern software systems, underpinned by 
rigorous design, specification, testing and verification.

This is happening very quickly. If anyone wishes to find out more about the 
SaSSy Initiative, please contact me or any of the SaSSy academics. Even if you 
are not so interested in Imperial-X but are interested in a more traditional 
position, please look at the SaSSy initiative as it lists in one place the 
awesome academics that we have at Imperial, working on AL/PL/analysis/security, 
spanning theory and practice, with substantial connections to industry.

Best wishes,
Philippa

[TYPES/announce] permanent academic positions, Imperial

[Gardner, Philippa A]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear all,

[Sorry if you receive multiple postings of this email.]

I would like to draw your attention to a current  Imperial advert for several 
academic positions
(roughly equivalent to assistant/associate professor) in the Department of 
Computing at Imperial; details can be found 
here.

**Deadline: 7th January 2020**

We seek excellent applicants from all areas of Computer Science. I would very 
much like to encourage PL, theory  and verification experts to apply.  Please 
don’t hesitate to contact me, or other academics in the Department, if you have 
any questions. In particular, there are some exciting plans for growth and 
interaction with industry that we would be happy to share with you.

Best wishes,
Philippa




Professor Philippa Gardner
Department of Computing
Imperial College
180 Queen’s Gate
London
SW7 2AZ


My working day may not be the same as yours.  Please do not feel
obliged to reply to this email outside your normal working hours.