Email Gateway (Aug 18 2022 at 13:49): Email Gateway (Aug 18 2022 at 13:49):From: Peter Sewell <Peter.Sewell@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@cl.cam.ac.uk.
Closing date: 31 July 2009.
The University values diversity and is committed to equality of
opportunity.
Last updated: May 03 2024 at 08:18 UTC