[TYPES/announce] Funded PhD on Concurrency Modelling at U York, UK

[Mike Dodds]

Dear all,

We are seeking to recruit a bright, enthusiastic doctoral student for a
joint project between the University of York and Microsoft Research. This
PhD will be part of of a Royal Society-funded collaboration between York
and Microsoft. A few details:

* The project is on modelling concurrent algorithms using ideas from formal
verification.

* This is a joint project between Mike Dodds of the University of York, and
Matthew Parkinson of Microsoft Research Cambridge.

* The student will be based at the University of York, UK under the
supervision of Dr Dodds.

* The studentship is worth £69,000 over three years, covering fees and
living expenses. There is separate funding for computer equipment and
conference attendance.

* The deadline for applications is 29 April 2016. The start date is
negotiable, but must be before 31 March 2017.

Further details for the project, including how to apply are given here:
https://www.cs.york.ac.uk/postgraduate/research-degrees/research-studentships/uoy-microsoftresearchjointstudentship/

Please get in touch if you have any questions.

best wishes,
Mike Dodds.

-- 
http://www-users.cs.york.ac.uk/~miked/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160411/81fa7eb6/attachment.html>