[TYPES/announce] Post-Doc and PhD positions - Semantics of Real-World Computer Systems

[Peter Sewell]

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


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

Research Associate
University of Cambridge - Faculty of Computer Science & Technology

Salary: £27,319 - £35,646 pa

Limit of tenure: Up to 2 years

We are seeking a Post-Doctoral Research Associate to join a lively
group working on the semantics of real-world computer systems, with a
focus on the relaxed-memory concurrency they exhibit.  Current
projects include work on the memory models of multiprocessors (x86,
Power, ARM) and of programming languages (C++0X/C1X, Java), verified
compilation of concurrent programming languages to multiprocessors,
the semantic theory of relaxed-memory concurrency, and the development
of tool support for semantics.

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:

    * Programming Language Semantics
    * Automated Proof Assistants
    * Relaxed Memory Models
    * Program Verification

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 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 after 4th October 2010

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.

Quote Reference: NR07133, Closing Date: 4 October 2010

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


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

PhD Studentships
University of Cambridge - Faculty of Computer Science & Technology

We are seeking two PhD students to join a lively group working on the
semantics of real-world computer systems, with a focus on the
relaxed-memory concurrency they exhibit.  Current projects include
work on the memory models of multiprocessors (x86, Power, ARM) and of
programming languages (C++0X/C1X, Java), verified compilation of
concurrent programming languages to multiprocessors, the semantic
theory of relaxed-memory concurrency, and the development of tool
support for semantics.

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

    * Programming Language Semantics
    * Automated Proof Assistants
    * Relaxed Memory Models
    * Program Verification

Informal enquiries should be addressed to Peter Sewell
(http://www.cl.cam.ac.uk/~pes20/), including a Curriculum Vitae and a
brief statement of your background and interests.

The positions are funded by the EPRSC grant EP/H005633,
http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/H005633/1.

For UK/EU students this covers a stipend and fees.  For October 2011
entry, applications should ideally be received by December 1 2010
(applications for earlier start dates may also be considered).

Non-UK/EU students will require additional funding for the higher
level of fees. Exceptional non-EU candidates may be considered for
nomination to the Gates Cambridge Trust and Cambridge International
Scholarship competitions.  The application deadline (for October 2011
entry) for these is October 15 2010 for US applicants and December 1
for non-US applicants (note that applications must be complete by
these deadlines, including transcripts, references, degree
certificates, and research proposal).

More information on the formal application process is here:
http://www.cl.cam.ac.uk/admissions/phd/.

Quote Reference: NR07135.

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



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