Logic List Mailing Archive

PhD studentship in "Foundations for Heterogeneous Computation", Birmingham (U.K.)

Microsoft PhD Scholarship
University of Birmingham
School of Computer Science

The School of Computer Science at the University of Birmingham is seeking 
to award a Microsoft PhD Scholarship on the topic "Structural Foundations 
for Heterogeneous Computation", starting on 1st October 2011.

Applicants require a first-class Honours degree or equivalent in Computer 
Science, Mathematics or Computer Engineering, experience in programming 
and aptitude for mathematical subjects. A Masters degree is highly 
desirable. Experience in any of the following areas is relevant although 
no required: semantics, type theory, static analysis, system-level 
programming, microprocessor design, FPGA design, compiler design and 
optimisation, GPU programming. The position is open for UK and EU 
applicants, but exceptionally strong candidates from outside the EU may be 
considered subject to availability of funds. Before the Scholarship can be 
awarded the candidate must also undergo the formal admission procedure to 
the university.

The Scholar will work under the supervision of Dr. Dan R. Ghica from 
University of Birmingham, a leading centre for research in programming 
language theory. On behalf of Microsoft Research, the Scholar will be also 
supervised by Prof. Satnam Singh.

The Microsoft PhD Scholarship Programme recognises and supports 
exceptional students who show the potential to make an outstanding 
contribution to science and computing. Each Microsoft scholarship consists 
of an annual bursary of 23,000 for up to a maximum of three years. In 
addition, every Scholar receives a laptop with a selection of software 
applications. During the course of their PhD, Scholars are invited to 
Microsoft Research in Cambridge for an annual 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 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.

To apply please submit the following to Dr. Dan R. Ghica 
(d.r.ghica@cs.bham.ac.uk) before May 1st:

 	? an up-to-date copy of your CV
 	? a copy of your University transcript detailing all your examination 
results to date
 	? the name and contacts of three referees
 	? a sample of your academic publications such as articles or 
dissertations
 	? any other relevant information (e.g. links to web-sites, blogs, 
software portfolio)
 	? a covering letter.
For further information, visit:

 	? Microsoft PhD Scholarships: 
http://research.microsoft.com/en-us/collaboration/global/open-phd-positions.aspx
 	? Dan R. Ghica's page: http://www.cs.bham.ac.uk/~drg/
 	? Satnam Singh's page: 
http://research.microsoft.com/en-us/people/satnams/
 	? Heterogeneous computing: 
http://en.wikipedia.org/wiki/Heterogeneous_computing