[Agda] Microsoft PhD Studentship

[Dan Ghica]

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 at 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