[DMANET] PhD Studentship at Loughborough University, UK

Dear Colleagues,

Applications are invited for a fully funded PhD position on the topic of
"Computability Problems in Hybrid Systems" in the Department of Computer
Science at Loughborough University, UK.

The project will mainly be to study computability questions in linear
hybrid systems such as timed automata, piecewise affine maps and hybrid
automata, although no background knowledge of these systems is required.
Typical questions studied will be the decidability of reachability,
convergence and stability in these systems.

Full details, including the application procedure, can be found at the
following link:
http://www.jobs.ac.uk/job/AEF807/phd-studentship/

The deadline for applying is 14th May 2012 and the position is to be
filled no later than 1st July 2012. Please see the above link for full
eligibility criteria for fees and stipend of the award.

Further information on the research activities of the Department of
Computer Science at Loughborough University can be found here:
http://www.lboro.ac.uk/departments/co/research/index.html

Informal inquiries should be sent to Paul Bell (p.bell@lboro.ac.uk).

Best regards,
Paul Bell,
Loughborough University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************