[PVS] D.Phil studentship in quantitative verification at Oxford

[Marta Kwiatkowska <marta.kwiatkowska@xxxxxxxxxxxxxxx>]

[Apologies for multiple mailing.]

OXFORD UNIVERSITY COMPUTING LABORATORY

D.Phil studentship on the Predictable Software Systems project,
part of Large-Scale Complex IT Systems (LSCITS) research programme

http://web.comlab.ox.ac.uk/oucl/jobs/pss.pdf

A fully funded D.Phil (PhD) studentship is available to work on the
above EPSRC-funded project in the Quantitative Analysis and Verification
group led by Professor Marta Kwiatkowska.

Predictable Software Systems (PSS) is part of the Large-Scale Complex IT
Systems research programme (LSCITS, pronounced else-its), a
collaboration involving five institutions. The main focus of the LSCITS
programme is on novel approaches and techniques for managing change. The
aims of the PSS theme are to develop the foundations and software
technology for the verification of adaptive systems, such as those that
vary their response depending on scenario or context.

In addition to the doctoral student, the PSS project will employ two
postdoctoral Research Assistants, Grade 7 and Grade 8 respectively, at
Oxford. It is anticipated that the student will work on quantitative
methods for trust assurance and the associated verification methodology,
but alternative topics addressing the broad objectives of the project
can also be studied depending on the student’s background.

The studentship is fully funded by EPSRC for three years from October
2007 at home/EU level and will include a stipend of £12,600 (non-EU
students will require supplementary funding).

Further information on OUCL can be obtained from

http://web.comlab.ox.ac.uk/oucl/

and informal queries about the project can be sent to
Marta.Kwiatkowska@comlab.ox.ac.uk, see also

http://web.comlab.ox.ac.uk/oucl/people/marta.kwiatkowska.html

Selection Criteria
Candidates must satisfy the standard requirements:

http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf

for doing a doctorate at Oxford. Candidates must have (or be expecting
to receive) a good degree in computer science or a closely-related
subject. This studentship requires previous knowledge of at least one of
the following: automatic verification, computer security, probability
theory, concurrency and program analysis. Strong coding skills and/or
interest in industrial applications will be an advantage.

How to Apply
The deadline for submission is 22nd June, 2007. To apply you need to
download the University’s application form from

http://www.admin.ox.ac.uk/postgraduate/apply/forms/

You will need to submit references, transcript and research proposal
with your application.

PLEASE SUBMIT YOUR APPLICATION TO:

Mrs Julie Sheppard
Secretary for Graduate Studies
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford OX1 3QD

AND NOT TO THE ADDRESS ON THE APPLICATION FORM

If you have any questions about the applications procedure please email
Julie@comlab.ox.ac.uk