Post-doc researcher on the project Verification of Linear Dynamical Systems. This is a fixed-term position for 2 years, starting January 2017 (or as soon as possible thereafter).

Webpage: http://http://www.cs.ox.ac.uk/news/1195-full.html

Email: james.worrell@cs.ox.ac.uk