Microsoft Research PhD Scholarship
Microsoft Research PhD Scholarship
Oxford University Computing Laboratory
A Microsoft Research PhD Scholarship
( http://research. microsoft. com/ero/icd/ phd/ ) is available to work on
the project Verifying Properties of the ML Family of Programming
Languages in the group led by Professor Luke Ong -
http://users.comlab.ox.ac.uk/luke.ong/
The scholar will work on the verifi cation of functional programs such
as Ocaml, F# and Haskell, using ideas and techniques from both
semantics and veriï¬ cation. The student will be trained to carry out
research in the theory and practice of software verifi cation,
construct software tools, perform industrial case studies and
experiments where appropriate, and write and present research papers.
Each Microsoft scholar will be awarded a generous bursary of up to
33,000 euros per year, up to a maximum of three years. This amount is
the maximum Microsoft Research will pay the University of Oxford - the
actual amount payable to the scholar is yet to be determined; see the
terms and conditions:
http://research. microsoft. com/ero/phd/ PhDScholarshipAg reement2008. pdf
Every scholar will receive a laptop from Microsoft Research with a
selection of software applications. During the course of their
doctorate, scholars will be invited to Microsoft Research Cambridge
for a summer school, which will give the scholars an opportunity to
present their work to Microsoft researchers and a number of Cambridge
academics. Some of the scholars may also be offered, in Microsoft
Research's sole discretion, an internship in one of the Microsoft
Research laboratories. Scholars will be paid during their internship
on top of their scholarship bursary. The scholar is expected to start
in October 2008.
Candidates must have (or expect to have) an outstanding computer
science degree or a degree in a closely related subject such as
mathematics that has a signiï¬ cant component of computer science, and
must satisfy the Admissions Criteria for Studying for a Doctorate at
Oxford: see
http://www.comlab. ox.ac.uk/ oucl/prospective /dphil/dphil- criteria. pdf
The scholarship requires previous knowledge of at least one of the
following: functional programming, semantics (especially game
semantics) of programming languages, logic and discrete mathematics
related to computer science, lambda calculus and types, computer-aided
verifi cation, compilers, and program analysis. Strong programming
skills are essential.
How to apply
The deadline for receipt of applications is 14 March 2008. You can
either apply online or download the University's application form from:
http://www.admin. ox.ac.uk/ postgraduate/ apply/forms/
You will need to submit references, a transcript and a statement of
research interests (in the textbox "research proposal"). All
applications are subject to a £25 fee. After submitting your
application, please email a copy of your application to Julie Sheppard
julie@comlab. ox.ac.uk Questions about the applications procedure
should also be directed to her. In addition you are requested to email
your CV to Luke.Ong@comlab. ox.ac.uk
For further information see:
Oxford University Computing Laboratory
A Microsoft Research PhD Scholarship
( http://research. microsoft. com/ero/icd/ phd/ ) is available to work on
the project Verifying Properties of the ML Family of Programming
Languages in the group led by Professor Luke Ong -
http://users.comlab.ox.ac.uk/luke.ong/
The scholar will work on the verifi cation of functional programs such
as Ocaml, F# and Haskell, using ideas and techniques from both
semantics and veriï¬ cation. The student will be trained to carry out
research in the theory and practice of software verifi cation,
construct software tools, perform industrial case studies and
experiments where appropriate, and write and present research papers.
Each Microsoft scholar will be awarded a generous bursary of up to
33,000 euros per year, up to a maximum of three years. This amount is
the maximum Microsoft Research will pay the University of Oxford - the
actual amount payable to the scholar is yet to be determined; see the
terms and conditions:
http://research. microsoft. com/ero/phd/ PhDScholarshipAg reement2008. pdf
Every scholar will receive a laptop from Microsoft Research with a
selection of software applications. During the course of their
doctorate, scholars will be invited to Microsoft Research Cambridge
for a summer school, which will give the scholars an opportunity to
present their work to Microsoft researchers and a number of Cambridge
academics. Some of the scholars may also be offered, in Microsoft
Research's sole discretion, an internship in one of the Microsoft
Research laboratories. Scholars will be paid during their internship
on top of their scholarship bursary. The scholar is expected to start
in October 2008.
Candidates must have (or expect to have) an outstanding computer
science degree or a degree in a closely related subject such as
mathematics that has a signiï¬ cant component of computer science, and
must satisfy the Admissions Criteria for Studying for a Doctorate at
Oxford: see
http://www.comlab. ox.ac.uk/ oucl/prospective /dphil/dphil- criteria. pdf
The scholarship requires previous knowledge of at least one of the
following: functional programming, semantics (especially game
semantics) of programming languages, logic and discrete mathematics
related to computer science, lambda calculus and types, computer-aided
verifi cation, compilers, and program analysis. Strong programming
skills are essential.
How to apply
The deadline for receipt of applications is 14 March 2008. You can
either apply online or download the University's application form from:
http://www.admin. ox.ac.uk/ postgraduate/ apply/forms/
You will need to submit references, a transcript and a statement of
research interests (in the textbox "research proposal"). All
applications are subject to a £25 fee. After submitting your
application, please email a copy of your application to Julie Sheppard
julie@comlab. ox.ac.uk Questions about the applications procedure
should also be directed to her. In addition you are requested to email
your CV to Luke.Ong@comlab. ox.ac.uk
For further information see:
