The Automated Verification group at the Department of Computer Science has a vacancy for three Research Associates in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity. Reporting to Professor Joel Ouaknine, you will be conducting original research in this area.
The overall goal of the project 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, linear differential equations, hybrid systems, and infinite-state systems. You will develop algorithms to solve reachability, termination, and synthesis problems for these models by combining a range of computational techniques, including results from number theory (particularly lower bounds in Diophantine approximation). In cases where algorithms cannot be obtained, you will seek reductions from known “hard” problems. The project aims to build on, and significantly develop, recent progress at MPI-SWS and Oxford in solving long-standing open problems in this area.
You should have a PhD (or be close to completion) in a relevant area of computer science, mathematics, or a related discipline, together with a documented track record of the ability to conduct and complete research projects in automated verification, automata theory, dynamical systems, or algorithmic algebra and number theory.
The closing date for applications is 12.00 noon on 21 August 2019.
Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave.
Research Software Engineer/Postdoctoral Research Assistant In Square Kilometre Array , University of Oxford ;, United Kingdom, 2 days ago
Department of Engineering Science, Parks Road, Oxford, OX1 3PJ Grade 7: £32,817 - £40,322 The Square Kilometre Array (SKA) will be the world's largest radio telescope and will consist of two instr...
Conservation Research Assistant Chromotype , University of Oxford ;, United Kingdom, 1 day ago
Ashmolean Museum, Beaumont Street, Oxford, OX1 2PH Grade 7: £32,817 - £40,322 per annum This full-time, fixed term post (24 months) is based in the Department of Western Art at the Ashmolean Museu...
Postdoctoral Research Assistant In Computer Vision , University of Oxford ;, United Kingdom, 2 days ago
Department of Engineering Science, Parks Road, Oxford, OX1 3PJ Grade 7: £32,817 - £33,797 per annum We are seeking a full-time Postdoctoral Research Assistant to join Professor Torr's research gro...
Postdoctoral Researcher In Quantum Theory For Early Quantum Computers , University of Oxford ;, United Kingdom, 2 days ago
Department of Materials, Parks Road, Oxford Grade 7: £32,817 - £40,322 p.a. The Oxford-based group of Professor Simon Benjamin (see QTechTheory.org ) is looking for an exceptionally talented and m...
Postdoctoral Researcher , University of Oxford ;, United Kingdom, 3 days ago
MRC Weatherall Institute of Molecular Medicine, John Radcliffe Hospital, Oxford OX3 9DS Grade 7: £32,817 to £40,322 p.a. We have a new and exciting opportunity for a highly motivated and enthusias...
Senior Research Associate On Foundations For Non Parametric Probabilistic Programming , University of Oxford ;, United Kingdom, 2 days ago
Department of Computer Science, Parks Road, Oxford. Grade 8 £41,526 - £49,553 per annum A full-time postdoctoral researcher post, fixed-term for 3 years, reporting to Sam Staton, is available to i...