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

[PVS] Postdoctoral position on the Predictable Software Systemsproject at Oxford



[Apologies for multiple postings]

Two Year Grade 07S Post-doctoral Research Assistant Post

Professor Marta Kwiatkowska from the Oxford University Computing 
Laboratory (OUCL) has been awarded an EPSRC grant to for the project 
Predictable Software Systems, part of the Large-Scale Complex IT Systems 
(LSCITS) 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. The main focus of the 
LSCITS programme is on novel approaches and techniques for managing 
change. In this context, the PSS theme aims 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 PSS project has one two year vacancy for a Postdoctoral Research 
Assistant available immediately and not later than 1st October 2010. The 
role will require the post-holder to undertake innovative research as 
defined by the project proposal and to work with colleagues to progress 
the objectives of the project as part of the PSS project team. The exact 
scope of the research will depend on the skills of the candidates 
appointed who will be expected to fulfil the selection criteria defined 
below. The postholder may also be required to undertake some programming 
and teaching in areas related to the project.  More information about 
the PSS project can be found at:

http://www.comlab.ox.ac.uk/projects/predictablesoftware/index.html

Candidates should have a doctoral degree in computer science, 
mathematics or a related discipline, excellent knowledge of theoretical 
computer science, publications in areas relevant to this project as well 
as the ability and willingness to teach, mentor doctoral students and to 
participate in the development of experimental software.

The post, which is a full time appointment for up to two years, has a 
salary on the University grade 07S scale (currently 28,983-35,646), 
and will include membership of USS as well as an annual leave 
entitlement of 38 days per year (inclusive of all public holidays and 
university closed periods).

Further details of the post, including the selection criteria and method 
of application are available here:

http://web.comlab.ox.ac.uk/news/documents/pss-fps.pdf

The closing date for applications is Friday 28th May 2010.

The policy and practice of the University of Oxford require that all 
staff are offered equal opportunities within employment. Entry into 
employment with the University and progression within employment will be 
determined only by personal merit and the application of criteria which 
are related to the duties of each particular post and the relevant 
salary structure. In all cases, ability to perform the job will be the 
primary consideration. Subject to statutory provisions, no applicant or 
member of staff will be treated less favourably than another because of 
his or her age, sex, marital or civil partnership status, sexual 
orientation, religion or belief, racial group or disability.

-- 
Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies

Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/