PhD scholarship on Bio-inspired Computation at the Department of Computer Science at Loughborough University, UK
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:
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:
Informal inquiries should be sent to Paul Bell (firstname.lastname@example.org).