[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.** ==============================================================================