Microsoft Research PhD Scholarship Oxford University Computing Laboratory doctorates Microsoft Research Scholarship is available to work on the draft of the Audit Properties ML Family of programming languages in the Group Led by Professor Luc Ong - http://users.comlab.ox.ac.uk/luke.ong/ The researcher will work on faith fi cation functional programs like Ocaml, and F # Haskell, using the ideas and techniques from both semantic And veriï ¬ cation.
Students will be trained to carry out research in the theory and practice of software veri fi cation, the construction of software tools, to conduct case studies and industrial experiences where appropriate, and write and present papers Research.
Each researcher Microsoft will be awarded a generous scholarship of up to 33000 euros per year, with a maximum of three years. This amount is the maximum pay Microsoft Research at the University of Oxford - the amount owed to the scholar is still to be determined, download the terms and conditions (PDF).
Each awardee will receive a laptop from Microsoft Research with a selection of software applications. During their doctoral researchers will be invited to Microsoft Research Cambridge for a summer school, giving the researchers an opportunity to present their work to researchers from Microsoft and a number of academics from Cambridge. Some researchers may also be available, and Microsoft Research `s sole discretion, an internship in a laboratory at Microsoft Research. Academics will be paid during their internship on the roof of their scholarship award.
The scientist is expected to start in October 2008. Applicants should have (or expect to have) a remarkable degree of computer science or a degree in a closely related discipline such as mathematics, which has a signiï ¬ cannot component of computing, and must meet the admission criteria for a doctoral student at Oxford University: Click here
The grant requires a knowledge of at least two of the following: functional programming, semantics (especially Thursday semantics) programming languages, logic and discrete mathematics related to computers, and types lambda calculus , computer-aided veri fi cation, compilers, and program analysis. Strong programming skills are essential.
How to apply
The deadline for receipt of applications is March 14, 2008.
You can apply online or download the University d `application form from here You will need references, a transcript and a statement of research interests (in the text box “research project”).
All applications are subject to a fee of 25 pounds. After submitting your application, please e-mail a copy of your request to Julie Sheppard julie@comlab.ox.ac.uk
Questions on procedural requests should be addressed to her. In addition, please send resume to: Luke.Ong @ comlab.ox.ac.uk
January
Comment Form under post in blogger/blogspot