[Could you please bring this to the attention of any suitable
candidates? Applications from students with experience in programming
language semantics or automated reasoning would be particularly
welcome. Thanks - Peter]
PhD studentships: Reasoning about Relaxed Memory Models
Computer Laboratory, University of Cambridge
We have a number of PhD studentships available for people to work on
the semantics of concurrent programs, focussed especially on the
relaxed memory models of real-world multiprocessors and programming
languages, funded by EPSRC grant EP/H005633 ("Semantic Foundations for
Real-World Systems"):
http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/H005633/1
Initial results from the project can be found here:
http://www.cl.cam.ac.uk/~pes20/weakmemory/
The grant can provide maintenance and fees for Home or EU students.
Applications should be received as soon as possible, and at least by
mid-February 2010. Overseas (non-EU) students may wish to apply to
the Gates/CISS/Cambridge Trusts for the additional costs of overseas
fees, for which the deadline is December 1st/15th 2009:
http://www.cl.cam.ac.uk/news/2009/11/december-1st-2009-online-postgraduate-applications-deadline/
Applications should be made via the usual method through the Board of
Graduate Studies:
http://www.admin.cam.ac.uk/univ/gsprospectus/applying/
Peter
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
