[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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-ad...@cl.cam.ac.uk. Closing date: 31 July 2009. The University values diversity and is committed to equality of opportunity.