Skip to main content

Two Grade 07S Post-doctoral Research Assistant posts on VERIWARE: From software verification to everyware verification Project

Posted: 29th March 2010

 Project "VERIWARE: From software verification to everyware verification"

Two Grade 07S Post-doctoral Research Assistant Posts


Professor Marta Kwiatkowska from the Oxford University Computing Laboratory (OUCL) has been awarded an ERC Advanced Investigator Grant to for the project "VERIWARE: From software verification to everyware verification", to start on 1 May 2010 or later. The goal of this project is the development of theoretical foundations and automated verification techniques for ‘everyware', i.e. sensor-based ubiquitous computing devices. In the context of this project, OUCL has openings for two post-doctoral research associates.

Both roles will require the post-holders 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 VERIWARE 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.  Both posts would be required to undertake some programming.  

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 mentor doctoral students and to participate in the development of experimental software.

The posts, which are full time, three year appointments, with the possibility of an extension depending on progress, have a salary on the University grade 07S scale (currently £28,983-£35,646), 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 from here

The closing date for applications is Friday 7th 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.