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.
Postdoctoral Research Assistant In Quantum Materials (2 Posts), University of Oxford, United Kingdom, 21 days ago
UNIVERSITY OF OXFORD, DEPARTMENT OF PHYSICS CLARENDON LABORATORY, OXFORD Postdoctoral Research Assistant in Quantum Materials (2 posts) Grade 7: £ 32,236 – £ 39,609 pa Fixed term (3 years) Applica...
Research Fellow Occupational Therapy, Oxford Brookes University, United Kingdom, about 19 hours ago
This is a fixed term appointment for 3 years. This is an exciting opportunity to lead occupation focused research in the Centre of Movement and Occupational and Rehabilitation Sciences (MOReS) wor...
Residence Support Assistant, Oxford Brookes University, United Kingdom, about 19 hours ago
Residences Support Assistant for Oxford Brookes Managed Halls: Warneford Hall, Lady Spencer (Wheatley), Westminster Hall, Clive Booth Student Village, Crescent Hall and Thames Street Hall Main dut...
Postdoctoral Research Fellow Wealthpol: The Politics Of Wealth Inequality And Mobility In The..., University of Oxford, United Kingdom, 5 days ago
Department of Politics and International Relations, Manor Road Building, Manor Road, Oxford Grade 7: £32,817 p.a. The Department of Politics and International Relations at the University of Oxford...
Postdoctoral Prize Research Fellowships In Sociology (2 Posts), Nuffield College, United Kingdom, about 7 hours ago
Nuffield College intends to appoint with effect from 1 September 2020 or as soon as possible thereafter, two Postdoctoral Prize Research Fellows (PPRFs) in Sociology, broadly construed to include ...
Post Doctoral Research Associate, Diamond Light Source Ltd, United Kingdom, 12 days ago
Post Doctoral Research Associate, cryoEM Business Area: Science Full Time Salary: £33,297 to £39,172 per annum (Discretionary range to £45,048) Post Type: Full time / Fixed term Term: 3 years Clos...