[TYPES/announce] Lectureship at University College London

[O'Hearn, Peter]

--------
Lectureship at University College London,
with focus on Programming Languages and Verification
---------
 
A faculty position is available at UCL in the Programming Principles, Logic and Verification research group
     http://pplv.cs.ucl.ac.uk/
Our interests span theory and practice, and applicants will be considered across the range of work in programming languages and verification, including in semantics, program analysis, language design, compilation, and theorem proving. The appointment will be made at the rank of Lecturer or, where warranted, Senior Lecturer (analogous to Assistant Professor, and junior Associate Professor, respectively, in the US system).

The closing date for applications is 11 Jan 2013.  Further information, including how to apply, can be found on
   https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5041178&ownertype=fair&jcode=1294859
 
Peter O'Hearn