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,