[TYPES/announce] Postdoctoral Research Fellow (3 years)

[Brijesh Dongol]

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://urldefense.com/v3/__https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP*X037142*1__;Ly8!!IBzWLUs!Tbt0NIr5MF0_qbUhVm8I_GM-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_Z2iUTLz$ 
).

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 at surrey.ac.uk or
g.chockler at 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://urldefense.com/v3/__https://jobs.surrey.ac.uk/Vacancy.aspx?id=13603&forced=2__;!!IBzWLUs!Tbt0NIr5MF0_qbUhVm8I_GM-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_aYTicLl$ 


Best wishes,
Brijesh
---

Professor of Computer Science
Director of UK Research Institute on Verified Trustworthy Software Systems (
VeTSS <https://urldefense.com/v3/__http://vetss.org.uk__;!!IBzWLUs!Tbt0NIr5MF0_qbUhVm8I_GM-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_XWMxq3w$ >)
University of Surrey, UK
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231023/e2aa09fc/attachment-0001.htm>