Skip to main content

Postdoctoral Research Assistant Post Grade 07S on the Ubiquitous and Extreme Computing Project, Verification for Autonomous Ubiquitous Sensing

Posted: 10th June 2010

Project "Ubiquitous and Extreme Computing",

 

Verification for Autonomous Ubiquitous Sensing

James Martin 21st Century School

Starting Date: 1 September 2010  

 

Postdoctoral Research Assistant Post Grade 07S

 

Oxford University Computing Laboratory (OUCL) and Oxford e-Research Centre have been awarded funding for the project "Ubiquitous and Extreme Computing" by the James Martin 21st Century School.  This project has several parts. The present advertisement relates to the project part "Autonomous Ubiquitous Sensing" which deals with automated verification for sensor networks and will be directed by Professor Marta Kwiatkowska, in collaboration with Dr Niki Trigoni.

 

We wish to appoint a Research Assistant 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 project team. The focus of this role is on the implementation of software verification tools for sensor networks, such as NesC/TinyOS or Contiki OS. The successful candidate will be expected to collaborate closely with researchers building and deploying sensor networks, and to undertake the development of verification tools and experimental verification case studies. Candidates will be expected to initiate publication of research results in top ranking journals and present research results at leading conferences.

 

The post, which is a full time, up to 36 months appointment, starting on or after 1 September 2010,  has a salary on the University grade 07S scale (currently £28,983 to £35,646), includes membership of the University Superannuation Scheme (USS) and has 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


The closing date for applications is 16th July 2010.