Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Post-Doc positions - Semantics of Real-World C...

Email Gateway (Aug 18 2022 at 19:31):

From: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
[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

Last updated: Nov 21 2024 at 12:39 UTC