Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoctoral Research Fellow at the University...

Email Gateway (Jun 03 2024 at 08:38):

From: Brijesh Dongol <cl-isabelle-users@lists.cam.ac.uk>
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://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015149/1)

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://jobs.surrey.ac.uk/Vacancy.aspx?id=14085

* Enquiries *
For informal enquiries and further information please contact Brijesh
Dongol at b.dongol@surrey.ac.uk or Gregory Chockler at
g.chockler@surrey.ac.uk.

Last updated: Jan 04 2025 at 20:18 UTC