Department of Computer Science, University of Oxford Project “Autonomous Ubiquitous Sensing”, part of Institute for the Future of Computing at the Oxford Martin School Grade 07S Post-doctoral Research Assistant Post
Posted: 28th March 2012
Department of Computer Science, University of Oxford
Project “Autonomous Ubiquitous Sensing”, part of Institute for the Future of Computing at the Oxford Martin School
Grade 07S Post-doctoral Research Assistant Post
The Verification theme is offering a Grade 7 postdoctoral researcher post to work on application and experimental evaluation of quantitative verification to sensor-enabled systems under the direction of Professor Marta Kwiatkowska in the Department of Computer Science, University of Oxford.
Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field and should have a track record of applying verification tools and techniques. They should have excellent knowledge of model checking, quantitative verification and sensor-enabled embedded systems; a track record of publications in areas relevant to this project; and proven ability and willingness to contribute to the development of case studies and experimental software.
The successful candidate will be expected to contribute both to applications as well as practical software development. He/she will provide leadership for the relevant research aspects of the project, collaborating with the VERIWARE team (www.veriware.org) who are developing relevant theory and quantitative verification tools.
This post is a full time appointment, and is available immediately for up to 16 months. The post has a salary on the University grade 07 scale, currently £29,249 - £35,938 p.a.
The closing date for applications is 12 noon on Wednesday, 25th April 2012.
For further details see documents below and to apply please visit:
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.