Reasoning about Racy Programs under Relaxed Consistency

A PhD studentship, in collaboration with MSR (Cambridge)

http://research.microsoft.com/en-us/collaboration/global/apply-europe.aspx>

Each Microsoft scholarship consists of an annual bursary up to a maximum of three years. The amount varies in different countries and may depend on specific arrangement with public research funding agencies. The bursary continues automatically the following years, provided the Scholar meets the requirements of the institution.

Payment is made to the institution. The amount of the scholarship is the maximum amount Microsoft Research pays to the institution. In addition, every Scholar receives a laptop allowance.

During the course of their PhD, Scholars are invited to Microsoft Research in Cambridge for a PhD Summer School that includes a series of talks of academic interest and posters sessions, which provides the Scholars the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.

Some of the Scholars may also be offered—at the sole discretion of Microsoft Research—an internship in one of the Microsoft Research laboratories. Internships involve working on a project alongside and as part of a team of Microsoft researchers. Scholars are paid during their internship—in addition to their scholarship bursary. Interested Scholars can apply through the Microsoft Research internship website.