Dear all,

We are seeking a post-doctoral research fellow for the EPSRC-funded
research project "Verifiably Correct Transactional Memory" at the
University of Surrey, UK. The position is fixed-term for 3 years.

Further details of the position and submission details may be found here:

Informal enquiries are welcome and should be directed to Brijesh Dongol,
[log in to unmask]

Best wishes,