[isabelle] Post-Doctoral Research Associate - Reasoning with Relaxed Memory Models
[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
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
* 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and