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

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.