D.Phil studentship in Oxford University's Department of Computer
Science in collaboration with Microsoft Research Cambridge. This
position is associated with the project "Program Analysis and Form
Understanding", led by Michael Benedikt. The project addresses the
challenge of inferring integrity constraints on Web Forms from
analysis of JavaScript code, and exploiting these integrity
constraints in Web information extraction and integration tasks.
The project will cover both theoretical foundations and the
implementation of prototype software tools. Proposals for doctoral
study can concentrate on either program analysis issues, Web
information extraction issues, or both. Successful applicants will be
working closely with researchers at Microsoft Research, in particular
Dr. Matthew Parkinson of MSR Cambridge. In addition to funding and
equipment, they will participate in Microsoft Cambridge's Research
Summer Schools, see:
http://research.microsoft.com/en-us/collaboration/global/apply-europe.aspx.
Requirements: Students should have a degree in computer science or
mathematics, along with good programming ability. Students with a
mathematical background, if they have some programming experience, are
encouraged to apply. Knowledge of program analysis and some research
background in the area is also desirable.
This studentship is available for 3 years at a rate of 23000 GBP per
year. Students can apply to Oxford's Ph.D. program in computer
science via: https://apply.embark.com/grad/Oxford/15/ Pre-application
information is available at:
http://www.cs.ox.ac.uk/admissions/dphil/pre.html Finally, for informal
inquiries on this studentship, send email to: michael dot benedikt at
cs dot ox dot ac dot uk
Note that application deadlines posted for general Oxford admission do
not apply to this scholarship.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
