Search

Last Insert

PhD: Automated Verification of Firmware

Organization: University of Oxford

Location: Oxford, UK

Field: Computer Science

Requirements:

Candidates must satisfy the usual requirements: http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf for studying for a doctorate at Oxford. We will consider students with skills in theoretical computer science and in any of the above-mentioned areas. Candidates must have good writing, communication, presentation, and organization skills.

Abstract:

The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Computing Laboratory. This position is associated with the Intel project "Effective Validation of Firmware", led by Daniel Kroening, Thomas Melham and Luke Ong.

Description:

The project consortium includes the University of British Columbia, Princeton University, and Rice University. The goal of this project is the development of automated validation techniques for low-level software that interacts closely with hardware components, e.g., to minimise the power consumption of a processor.
 
The project covers a broad range of topics including the following: 

  • hardware/software modelling,
  • automated generation of models using machine learning techniques,
  • automated software verification for C/C++/SystemC and low-level assembler,
  • concurrency
  • new programming languages and type systems, especially for resource usage and environment modelling. 

The project will cover both theoretical foundations and the implementation of prototype software tools. Proposals for doctoral study in any of the above-mentioned topics relevant to the project are invited, including 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 project meetings and conferences.
 
When applying for these studentships, please quote the following studentship codes:  
11-COMP-DK-WEB (if you are applying from ComLab web pages)
11-COMP-DK-JOBS (if you are applying via jobs.ac.uk)
11-COMP-DK-FIND (if you are applying via Find-A-Phd.com) 

Deadline: 01-04-2011

Contacts:

Link: https://apply.embark.com/grad/Oxford/14/

Email: Julie.sheppard@comlab.ox.ac.uk

If you apply for this position please say you saw it on eurizons.eu