Logic List Mailing Archive

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

Department of Computer Science, University of Oxford.

The department 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.

More information can be found on

http://www.cs.ox.ac.uk/news/1515-full.html
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam