[TYPES/announce] Postdoctoral Research Fellow at the University of Surrey

[Brijesh Dongol]

We are seeking to recruit a full-time postdoctoral researcher to work on
one or more of the areas below:

- emerging hardware architectures (weak memory, RDMA, persistent memory,
CXL),
- verification with interactive and automated reasoning tools,
- proofs of safety / security properties,
- programming languages,
- concurrent and/or distributed algorithms and related topics.

The position is funded by the UK Engineering and Physical Science Research
Council (EPSRC) project:
- Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
(https://urldefense.com/v3/__https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP*X015149*1__;Ly8!!IBzWLUs!SRJqaThuOG1DhFWugbxvaXOhGdvwyHafqW-Emwf8bVL3Kk-PLghsjcLXLf7s63pvlHl3WH7b4cpXk2mPxLXRN-lBX73dlqXrbREn$ )

The successful applicant will work in a multidisciplinary team, as well as
a large team of academic (Imperial, Kent, Sheffield, MPI-SWS, Cornell,
IMDEA, etc) and industrial collaborators (Arm, NVIDIA, Galois), researchers
and PhD students.

Applicants must have or be close to obtaining a PhD in Computer Science.

*** Further Details ***
Post Type: Full time
Salary: £36,024 to £39,347 per annum
Closing Date: 28th June 2024

Apply at: https://urldefense.com/v3/__https://jobs.surrey.ac.uk/Vacancy.aspx?id=14085__;!!IBzWLUs!SRJqaThuOG1DhFWugbxvaXOhGdvwyHafqW-Emwf8bVL3Kk-PLghsjcLXLf7s63pvlHl3WH7b4cpXk2mPxLXRN-lBX73dlsRzkMLc$ 

*** Enquiries ***
For informal enquiries and further information please contact Brijesh
Dongol at b.dongol at surrey.ac.uk or Gregory Chockler at
g.chockler at surrey.ac.uk.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240603/5b43ac50/attachment-0001.htm>