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.