Umer Rashid (umer_rashid@yahoo.com)
Last Date: 14 March 2008
Two DPhil Studentships
Oxford University Computing Laboratory
The students will work on the algorithmics of inï¬nite structures, automata-theoretic approach to the veriï¬cation of higher-order procedural programs, temporal and other logics for specifying behavioural properties, using game semantics and other semantic ideas and techniques. The students will be trained to carry out research in both the theory and practice of software veriï¬cation, construct software tools, perform industrial case studies and experiments where appropriate, and write and present research papers.
Fully funded by EPSRC for three and a half years, the studentships are available from October 2008 at home/EU level, and will include a stipend of £12,600 (non-EU students will require supplementary funding). The successful candidates are expected to start in October 2008.
Candidates must have (or expect to have) an excellent 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
http://www.comlab. ox.ac.uk/ oucl/prospective /dphil/dphil- criteria. pdf
The studentships require previous knowledge of at least one of the following: semantics or principles of programming languages, logic and discrete mathematics related to computer science, lambda calculus and types, computer-aided veriï¬cation, compilers, and program analysis. Strong programming skills and interest in industrial applications will be essential for one of the studentships, and an advantage for the other.
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/OngCPDAFurIn fo.html