[TYPES/announce] Postdoc Position in Program Verification and Analysis

Peter O'Hearn Peter.OHearn at eecs.qmul.ac.uk
Tue Jul 12 20:36:09 EDT 2011

Queen Mary, University of London is looking to appoint a Post Doctoral
Research Assistant the area of Program Verification and Analysis. The
successful applicant will be supervised by Professor Byron Cook, and will
work in the Theoretical Computer Science group headed by Professor Peter
O'Hearn. The work of the group is underpinned by funding of over £8m, and
this post will be part of an EPSRC Programme Grant for £3.2m on verification
with partners at Imperial College London and Oxford. The group maintains
strong links with Microsoft Research Cambridge as well in joint work on
program verification and analysis.

The post is full time for 24 months, starting from 1 Oct 2011 or as soon as
possible thereafter. Starting salary will be in the range £32,023 - £33,794
per annum inclusive of London Allowance.

Informal enquiries should be addressed to Professor Byron Cook <
byroncook at gmail.com>. Further details including how to apply may be found on
The closing date for applications is 12 noon on 1 August 2011.  Applications
received after this time might not be considered.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110712/5016eb30/attachment-0001.html>

More information about the Types-announce mailing list