positions available at Imperial

There are some positions  available at Imperial, at  the level of Lecturer
and Reader. We have strong people  working on types for programming
language design, and so I hope good researchers in the area will apply. 

The details can be found at 


Tight deadline: 20th November (sorry for the short notice, electronic 
submissions preferred).

Best wishes,
Philippa Gardner