The Coq mailing list

[Peter Sewell <Peter.Sewell AT cl.cam.ac.uk>]

[Please bring this to the attention of any suitably qualified
candidates.   We expect also to have a number of PhD studentships in
this area in the future; enquiries would be welcome.   Peter]


Post-Doctoral Research Associate
Computer Laboratory, University of Cambridge

Vacancy Reference No: NR05424  Salary: £27,183-£35,469
Limit of tenure: 2 years

We are seeking a Post-Doctoral Research Associate to work on a project
funded by the EPRSC grant Reasoning with Relaxed Memory Models
(EP/F036345, http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/F036345/1), 
led by Peter Sewell and Matt Parkinson.

The scope of the grant includes development of accurate and rigorous
memory models for real-world multiprocessors and programming
languages, semantics and verification tools, and verified compilation;
you would work on one or more of these.

You should have a keen interest in applying rigorous semantic
techniques to real-world systems, with a strong background in one or
more of the following:

  * Relaxed Memory Models

  * Programming Language Semantics

  * Automated Proof Assistants

  * Program Verification

Enquiries about the project should be addressed to Dr Peter Sewell
(http://www.cl.cam.ac.uk/~pes20/). Initial work on processor models
can be found here: http://www.cl.cam.ac.uk/~pes20/weakmemory/.

Applications should include:

  * a Curriculum Vitae

  * a brief statement of the particular contribution you would make to
    the project

  * a completed form PD18 (downloadable from the Personnel
    Department's web site at 
http://www.admin.cam.ac.uk/offices/hr/forms/pd18/)

  * the names and contact details (postal and e-mail addresses) of two
    or three referees. Please ask your referees to send confidential
    references direct to the address below.

Complete applications should be sent by post to: Personnel-Admin,
University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue,
Cambridge CB3 0FD, United Kingdom, or by e-mail to
personnel-admin AT cl.cam.ac.uk.

Closing date: 31 July 2009.

The University values diversity and is committed to equality of
opportunity.