[TYPES/announce] Postdoc, Algorithmic verification of dynamical systems, Oxford UK

[James Worrell]

*Research Associate on Algorithmic Theory of Dynamical Systems at the
Department of Computer Science, University of Oxford. Full time, Fixed-term
contract for 14 months to start from 1 September 2026 (or earlier, if
mutually convenient). *

https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2515-full.html__;!!IBzWLUs!QiA2_HY4Abm9hcC8iNYlFDAAOaDguIMepUir9dr2bjiZn4qmmO1mudchIL03vx-s_mTxXRl9lWlC1nW5uCsNLpTAs1EjyQJEShTivCxP$ 

*Application deadline, 12pm 9th April 2026.*

*Contact **James.Worrell at cs.ox.ac.uk <James.Worrell at cs.ox.ac.uk> for
further information*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260318/6b4dd244/attachment-0001.htm>