Skip to main content

Fully Funded Doctoral Studentship in Automated Verification for Ubiquitous Computing

Posted: 16th November 2010


The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Computing Laboratory. This position is associated with the ERC project "VERIWARE: From software verification to everyware verification", under the supervision of Professor Marta Kwiatkowska. The goal of this project is the development of models and automated verification techniques for ‘everyware', i.e. sensor-based ubiquitous computing devices (see for a non-technical description). The project covers a broad range of topics including the following: models for ubiquitous computing devices; abstraction, refinement and synthesis; software verification; probabilistic verification; quantitative verification for resource-constrained systems; online verification techniques, e.g. those based on machine learning or statistical inference; verification algorithms for agent-based cooperation and negotiation; and applications. The focus will be on developing theoretical foundations, algorithms, implementation techniques and prototype software tools.


The VERIWARE team will be led by Professor Kwiatkowska and will include Dr David Parker, as well as postdoctoral researchers and two doctoral students. Proposals for doctoral study in any of the above-mentioned topics relevant to VERIWARE are invited, with a clear statement of how they contribute to the project.


The studentship is fully funded (at EU fees level - overseas candidates will need supplementary funding) for 3 ½ years and is available immediately but with a start date no later than October 1st 2011.  The studentship includes a stipend of at least £13,590 per year as well as provision for travel to conferences.


Candidates must satisfy the usual requirements:


for studying for a doctorate at Oxford. In addition, the students should be skilled in theoretical computer science and in some of the above-mentioned areas, and must have good writing, communication, presentation, and organization skills. 

Applications can be made online here:

 When applying for these studentships, please quote the following studentship codes:11-COMP-MZK-WEB (if you are applying from ComLab web pages) or11-COMP-MZK-JOBS (if you are applying via


The closing date for applications is 31st December 2010.


If you have any questions about the studentship or application process please email