[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Two postdoctoral research positions in quantitativeverification at Oxford

[Apologies for multiple mailing.]

OXFORD UNIVERSITY COMPUTING LABORATORY

Three Year Research Assistant Post Grade 7,
http://web.comlab.ox.ac.uk/oucl/jobs/pss7-07.html

Three Year Research Assistant Post Grade 8,
http://web.comlab.ox.ac.uk/oucl/jobs/pss8-07.html

Project: Predictable Software Systems, part of Large-Scale Complex IT
Systems (LSCITS) research programme

Oxford University Computing Laboratory (OUCL) has been awarded an EPSRC
grant to work on Predictable Software Systems, part of the Large-Scale
Complex IT Systems research programme. LSCITS (pronounced else-its) is a
collaboration involving five institutions: Dave Cliff (Bristol, PI),
Justin Keen (Leeds), Marta Kwiatkowska (Oxford), John McDermid (York)
and Ian Sommerville (St Andrews). The Predictable Software Systems (PSS)
is a theme led by Professor Marta Kwiatkowska at the Oxford University
Computing Laboratory and contributes to the activities of the
Quantitative Analysis and Verification group. 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.

The main focus of the LSCITS programme is on novel approaches and
techniques for managing change. The PSS project will employ two
postdoctoral Research Assistants, Grade 7 and Grade 8 respectively, and
a doctoral student at OUCL.

The Research Assistants (RAs) will, in collaboration with other members
of PSS team, carry out research in quantitative automated verification.
Collaboration with other researchers in Professor Kwiatkowska’s group
will be encouraged.

It is anticipated that the Grade 7 RA will contribute to the theoretical
foundations for quantitative automated verification, concentrating on
algorithms and prototype software development, and so will need to have
strong coding skills and project management ability.

It is anticipated that the Grade 8 RA will work on the theoretical
foundations for quantitative automated verification, and so will need to
have substantial expertise in quantitative modelling and verification
techniques. S/he will provide leadership for the team and will
co-supervise the Grade 7 RA and D.Phil student jointly with Professor
Marta Kwiatkowska.

Salary for RA Grade 7 will be on the University grade 07S scale
(currently £25,889 - £31,840 p.a), and for RA Grade 8 grade 08S scale
(currently £32,795 - £39,160 p.a).

The posts are available from 1st October 2007, are pensionable, include
an annual leave entitlement of 38 days per year inclusive of public
holidays and university closed periods, and are tenable for up to three
years.

Informal enquires about the positions can be addressed to Marta
Kwiatkowska (email: Marta.Kwiatkowska@comlab.ox.ac.uk).

Further details, including the application procedure, selection criteria
and job descriptions, are available below.

Further particulars for RA Grade 7:
http://web.comlab.ox.ac.uk/oucl/jobs/pss7_fps.pdf

Further particulars for RA Grade 8:
http://web.comlab.ox.ac.uk/oucl/jobs/pss8_fps.pdf

The closing date for applications is 29th June 2007.

Oxford University is and Equal Opportunities Employer.