Logic List Mailing Archive

PhD student position in formal verification of sensor networks, Liverpool (England), Deadline: 17 Apr 2017

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

===============================================================================
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam