Skip to main content

Department of Computer Science, University of Oxford Project “Logics for Autonomous Systems” Grade 07S Research Assistant

Posted: 26th June 2012

Department of Computer Science, University of Oxford

Project “Logics for Autonomous Systems”

Grade 07S Research Assistant

The Department of Computer Science of University of Oxford seeks a postdoctoral researcher to work on a 3-year EPSRC project entitled

"New Foundational Structures for Engineering Multi-UAV Protocols".

This interdisciplinary project aims to verify autonomous Unmanned Aerial Vehicles (UAV's) that not only navigate, but also communicate with each other.  The project aims to span the full verification lifecycle: from high-level logical specifications, to oracle-based test-set reasoning through a bounded model checker, to low-level code on our four Pelican UAVs.

The position requires a researcher with a proven track record of high-quality research in logic and its applications -- of particular relevance are formalisms such as

  • Modal and Epistemic Logics
  • Dynamic Program Logics
  • Probabilistic and Fuzzy logics

Preference will be given to researchers with experience in modelling and reasoning about epistemic properties of protocols of communicative Multi-Agent Systems.

The researcher will work closely with Dr Mehrnoosh Sadrzadeh, Prof Michael Wooldridge, and will also be expected to interact with Prof Daniel Kroening and his team working on the UAV and verification aspects of the project in order to derive requirements and case studies. This post is a full time appointment, and is available for up to 3 years. The post has a salary on the University grade 07, currently £29,249-£35,938.

The closing date for applications is 12 noon on Monday 30th July 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.