[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Post-Doc positions - Semantics of Real-World Computer Systems



[Please bring these to the attention of any suitable candidates - thanks, Peter]


*********************************************************************

Faculty of Computer Science and Technology
University of Cambridge

We are seeking a Research Associate and a Senior Research Associate to
join a lively group working on the semantics of real-world computer
systems. Our recent work has focussed on the relaxed-memory
concurrency that real systems exhibit, including work on the memory
models of multiprocessors (x86, Power, ARM) and of programming
languages (C11/C++11, Java), verified compilation of concurrent
programming languages to multiprocessors, the semantic theory of
relaxed-memory concurrency, and the development of tool support for
semantics; some details can be found at
http://www.cl.cam.ac.uk/~pes20/weakmemory/. We now plan to continue
some of the above and also to look more broadly at areas where
rigorous semantics can be applied to the engineering of systems
software.

RA:  Salary  £27,578-£35,938 pa     Reference NR15622
SRA: Salary  £37,012-£46,846 pa     Reference NR15612 

For the RA position you should have a PhD (which should be submitted
by the start date) or equivalent experience; for the SRA position you
should have an appropriate level of postdoctoral experience.  For
either, a keen interest in developing and applying rigorous semantic
techniques for real-world systems is essential, ideally with a strong
background in one or more of the following:

* Programming Language Semantics and Type Systems
* Automated Reasoning Tools
* Concurrency
* Program Verification
* Static and Dynamic Analysis
* Operating Systems
* Compilers

The position is funded by the EPRSC grant EP/H005633
(http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/H005633/1), led by
Peter Sewell (http://www.cl.cam.ac.uk/~pes20/), to whom enquiries should
be addressed.

Applications should include:

* a Curriculum Vitae
* a brief statement of the particular contribution you would like to
    make to the project
* a completed form CHRIS6: http://www.admin.cam.ac.uk/offices/hr/forms/chris6/
* the names and contact details (postal and e-mail addresses) of
    two or three referees.

Start date: as soon as possible. The currently funded project runs
until end 2014.

Applications should be sent, preferably by email in pdf format, to
personnel-admin@cl.cam.ac.uk. Postal Address: Personnel-Admin,
University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue,
Cambridge, CB3 0FD.

* Limit of tenure: up to 2 years


If in doubt about whether the RA or SRA position is appropriate,
please quote both references.

Closing Date: 4 May 2012


*********************************************************************