[TYPES/announce] Lectureship at University College London

O'Hearn, Peter p.ohearn at ucl.ac.uk
Mon Nov 19 15:26:53 EST 2012

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
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
Peter O'Hearn


More information about the Types-announce mailing list