News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Research Associate position on Verification of Linear Dynamical Systems, Oxford (England)

Deadline: Wednesday 5 September 2018

The department of Computer Science at the University of Oxford has a new opening for a Research Associate in Verification of Linear Dynamical Systems, working with Professor James Worrell, and funded by an Established Career Fellowship from EPSRC. The overall goal of this proposal is to develop techniques to solve fundamental computational problems arising in the verification of discrete and continuous linear dynamical systems, including Markov chains, linear recurrence sequences, linear while loops, and linear differential equations.

For more information, see http://www.cs.ox.ac.uk/news/1515-full.html.

Please note that this newsitem has been archived, and may contain outdated information or links.