[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [email protected] or
[email protected].
*** 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
