[TYPES/announce] Funded PhD Studentship - Formal Verification of Sensor Networks at the University of Liverpool

[Sven Linker]

[Dear colleague, apologies for cross-posting]

---------------------------------------------------------------------------
   Funded PhD Studentship - Formal Verification of Sensor Networks

     Department of Computer Science, University of Liverpool, UK

         http://www.csc.liv.ac.uk/~michael/S4_PhD_2017.html
---------------------------------------------------------------------------

The Department of Computer Science at the University of Liverpool
offers a PhD position, commencing 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 with either a first class degree or
a distinction at masters level in Computer Science or Mathematical
Logic, together with the desire to undertake PhD study on the formal
verification for wireless sensor networks.

For further details, see  http://www.csc.liv.ac.uk/~michael/S4_PhD_2017.html

===============================================================================
HOW TO APPLY:

Instructions on how to apply, and the online form to use, can be found at

https://www.liverpool.ac.uk/computer-science/postgraduate/phdstudy/applications

**DEADLINE FOR APPLICATIONS IS 17th April 2017.**

===============================================================================