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 verification 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 verification, 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/PhDScholarshipAgreement2008.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 verification, 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 verification 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 verification, 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/PhDScholarshipAgreement2008.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 verification, 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:
http://users.comlab.ox.ac.uk/luke.ong/OngMSRFurInfo.html
