• University of Glasgow Featured PhD Programmes
  • Northumbria University Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of East Anglia Featured PhD Programmes
  • National University of Singapore Featured PhD Programmes
  • University College London Featured PhD Programmes
  • University of Warwick Featured PhD Programmes
University of Warwick Featured PhD Programmes
University of Dundee Featured PhD Programmes
National Institute of Agricultural Botany (NIAB) Featured PhD Programmes
Monash University Featured PhD Programmes
Bournemouth University Featured PhD Programmes

Science Of Sensor Systems Software - Fault Tolerance for Sensor Networks


Project Description

A PhD position is offered in the Department of Computer Science starting in October 2018, and associated with the Science of Sensor Systems Software (http://www.dcs.gla.ac.uk/research/S4/) research programme. This position is available to both UK and EU students and we are looking for outstanding candidates able to undertake PhD study on formal verification for wireless sensor networks. For more details see http://cgi.csc.liv.ac.uk/~clare/projects/S4PhDStudentship.html

This could cover a broad range of systems/protocols, such as synchronization protocols, gossip protocols, ad-hoc networks, etc. and a wide variety of potential formal verification techniques, such as theorem-provers, model-checkers, SMT solvers, runtime verification, etc. Generally, we wish to study, formalise and utilise commonality and abstractions across these systems, for example in terms of sensor geography, shape, neighbours, movement, protocol, reliability, etc. The project is flexible within this general area given the applicant’s background and interests and a sample project is given below.

Fault Tolerance for Sensor Networks
The use of sensors for monitoring for example chemical spills, earth movements near rail or road, pollution in rivers etc. is increasingly viable. Together groups of sensors can provide data that can be used to provide early warning of problems. However results might be affected by the distribution and location of individual sensors, sensor calibration issues, degradation and failure. This project involves developing and applying formal verification techniques to model networks of sensors and analyse different types of failure to ensure the robustness of sensor networks.

Funding Notes

This is a fully funded position for UK/EU students and covers their tuition fee and living expenses for three years. Applicants should have or be about to achieve, either a first class degree or a distinction at masters level in Computer Science or Mathematical Logic.
Applications can be made via View Website
The closing date for applications is Monday 30th April 2018.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully




Cookie Policy    X