PODC Archives

ACM PODC Participants List

PODC@LISTSERV.ACM.ORG
Options: Use Forum View

Use Proportional Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
Research position on concurrency verification
From:
Brijesh Dongol <[log in to unmask]>
Reply To:
Brijesh Dongol <[log in to unmask]>
Date:
Wed, 5 Sep 2018 06:40:31 +0000
Content-Type:
multipart/alternative
Parts/Attachments:
text/plain (421 bytes) , text/html (649 bytes) 
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:
http://jobs.surrey.ac.uk/069118

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

Best wishes,
Brijesh

ATOM RSS1 RSS2