[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Apologies for cross-posting.
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 successful applicant will work in a multidisciplinary team, as well as
a large team of academic (Imperial, MPI-SWS, Cornell, IMDEA) 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,924 to £40,247 per annum
Closing Date: 31st January 2025
Apply at:
https://urldefense.com/v3/__http://jobs.surrey.ac.uk/048824-R__;!!IBzWLUs!UdXawt-MZAi2UWHfDNRZzqb1JH6IzShmksq1WH42c9bBcSKgAveSiDzepE6QWgaPsOf7Ioa9A2UszNE3IOPwchaZKK0R6WnlTJsK$
*** Enquiries ***
For informal enquiries and further information please contact Brijesh
Dongol at [email protected] or Gregory Chockler at
[email protected].
