Science of Sensor Systems Software (S4) at University of Liverpool on FindAPhD.com

This project is no longer listed on FindAPhD.com and may not be available.

Click here to search FindAPhD.com for PhD studentship opportunities

Prof M Fisher, Dr C Dixon No more applications being accepted Funded PhD Project (European/UK Students Only)

About the Project

Do you have, or are you about to achieve, either a first class degree or a distinction at masters level in Computer Science or Mathematical Logic, and are you seriously interested in studying for a PhD?

The Department of Computer Science offers a PhD position, starting in October 2017, and associated with the Science of Sensor Systems Software research programme (http://www.dcs.gla.ac.uk/research/S4/). 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.
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.

To give candidates an idea of the variety of projects available within the above general description, sample detailed project instantiations are provided here:

http://cgi.csc.liv.ac.uk/~michael/S4_PhD_2017.html
(Note that this is not an exhaustive list.)

Funding Notes

This studentship is funded by EPSRC Programme Grant EP/N007565/1. http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/N007565/1

References

Relevant Publications:
• Konur, Dixon, and Fisher. Analysing Robot Swarm Behaviour via Probabilistic Model Checking. Robotics & Autonomous Systems 60(2):199-213, 2012.
• Dixon, Fisher, Winfield, and Zeng. Towards Temporal Verification of Swarm Robotic Systems. Robotics & Autonomous Systems 60(11):1429-1441, 2012.
• Fisher, Dennis, and Webster. Verifying Autonomous Systems. Communications of the ACM 56(9):84-93, 2013.
• Konur and Fisher. A Roadmap to Pervasive Systems Verification. Knowledge Engineering

Where will I study?

University of Liverpool

We are curious problem solvers at the forefront of world-leading research. A hotbed of discovery and innovation, we're committed to addressing some of the toughest challenges in our society, both now and in the future. Join us in the search for answers by pursuing your PhD at the Original Redbrick.

Science of Sensor Systems Software (S4)

University of Liverpool School of Electrical Engineering, Electronics and Computer Science