Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoctoral Research Fellow (3 years)

Email Gateway (Oct 24 2023 at 12:16):

From: Brijesh Dongol <cl-isabelle-users@lists.cam.ac.uk>
Dear all,

(Apologies for multiple postings.)

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),

• formal modelling, verification and/or logic,

• interactive and automated reasoning tools,
• proofs of safety and/or security properties,
• programming languages and/or type systems,
• concurrent and/or distributed algorithms and related topics.

The position is funded by the UK Engineering and Physical Science Research
Council (EPSRC) project: SACRED-MA: Safe And seCure REmote Direct Memory
Access (https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X037142/1
).

The successful applicant will work with Brijesh Dongol and Gregory
Chockler, as well as a large team of academics (Imperial, MPI-SWS, Cornell,
Tel Aviv, IMDEA, etc) and industrial collaborators (Arm, NVIDIA).

Informal enquiries are welcome via e-mail: b.dongol@surrey.ac.uk or
g.chockler@surrey.ac.uk.

* Further Details *
Post Type: Full time (3-year, fixed term)
Salary: £35,308 to £38,474 per annum
Closing Date: 10th Nov, 2023
Application Site: https://jobs.surrey.ac.uk/Vacancy.aspx?id=13603&forced=2

Best wishes,
Brijesh

Professor of Computer Science
Director of UK Research Institute on Verified Trustworthy Software Systems (
VeTSS <http://vetss.org.uk>)
University of Surrey, UK

Last updated: Jan 04 2025 at 20:18 UTC