PhD Position in Verification of Concurrent Programs (Uppsala University Department of Information Technology)