Fully funded PhD studentships - Oxford


1 post
by PamelaOxfordCS » Mon Apr 23, 2012 9:18 am
We have an number of opportunities for both post-docs (RAs) and some fully funded PhD studentships. This is in Daniel Kroening's group at University of Oxford, Department of Computer Science. See here for more details: http://www.cprover.org/news/po.....-phd.shtml

I would have thought that the following would be of particular interest to Raspberry Pi enthusiasts.

Fully Funded DPhil Studentship associated with SRC project "HW/SW Co-Verification via Directed Trace Partitioning"

Posted: 9th February 2012

Fully funded DPhil studentship

The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer   Science. This position is associated with SRC project "HW/SW Co-Verification via Directed Trace Partitioning", led by Daniel   Kroening and Thomas Melham. The project addresses the broad area of "symbolic co-simulation" of two models, where one is written   in C and the other is a hardware model in (for example) Verilog or SystemC. A typical scenario is the checking correspondences   between a “golden” hardware reference model and an RTL implementation. Another scenario is checking properties   of software/hardware interaction, where the software is in C and the hardware modelled in an HDL – or symbolic simulation   in which one part of a pure hardware system is modelled in C and the other in an HDL. There are a broad variety of styles   in which ANSI-C programs or SystemC descriptions are used in these settings as (possibly partial) hardware specifications.

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.  Successful applicants will be working with a first class team and have an exciting and unusual opportunity   to work with major commercial companies.

The studentship is fully funded at home/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 2012. The studentship includes   a stipend of at least £13,590 per year as well as provision for travel to project meetings and conferences.
Posts: 1
Joined: Mon Apr 23, 2012 8:03 am