Sunday, April 1, 2012

Two postdoc positions in quantitative verification at Oxford

[Apologies for multiple mailings.]

The Verification theme is offering two Grade 7 postdoctoral researcher
posts to work on projects under the direction of Professor Marta
Kwiatkowska in the Department of Computer Science, University of Oxford.

One post is available in quantitative software verification in
association with the ERC Advanced Grant project "VERIWARE: From software
verification to everyware verification".

The second post concerns application to and experimental evaluation of
quantitative verification to sensor-enabled systems, and is in
association with the project "Autonomous Ubiquitous Sensing", part of
Institute for the Future of Computing at the Oxford Martin School.

Both positions are available immediately.

The closing date for applications is 12 noon on Wednesday, 25th April 2012.

For further details and to apply please visit:


Autonomous Ubiquitous Sensing

Informal enquiries should be directed to Marta Kwiatkowska, see contact
details at the end of this message.

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
and Fellow of Trinity College
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509

PA/Project Administrator: Liz Gresham
Tel: +44 (0)1865 283586