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 Fellow In Deep Learning For Complex Activity Detection In Video, Oxford Brookes University, United Kingdom, about 19 hours ago
The Visual Artificial Intelligence Laboratory, at Oxford Brookes University, led by Professor Fabio Cuzzolin, (http://cms.brookes.ac.uk/staff/FabioCuzzolin/) has established itself as one of the t...
Post Doctoral Research Assistant, Oxford Brookes University, United Kingdom, about 19 hours ago
Post-Doctoral Research Assistant Opportunity We are looking for a Postgraduate Research Assistant to apply for this academic opportunity in the Faculty of Health and Life Sciences. The postholder ...
Post Doctoral Researcher, Oxford Brookes University, United Kingdom, about 19 hours ago
Post-doctoral Researcher opportunity (Grade 8/9 depending on experience): We are seeking a post-doctoral researcher to work with Professor Eila Watson in the Supportive Cancer Care Research Group,...
Postgraduate Research Assistant Self Recovery Housing For Development, Oxford Brookes University, United Kingdom, about 19 hours ago
This post is a great opportunity to work on a high profile research project which will have an impact on humanitarian shelter practice. This role is fixed term until 31 March 2021. As Research Ass...
Research Assistant Mlc 1241 , Medical Research Council, United Kingdom, about 8 hours ago
View Vacancy -- Research Assistant - MLC 1241 Open Date 17/01/2020, 09:30 Close Date 09/02/2020, 23:55 Research Institute MRC Mary Lyon Centre Research Institute / Unit Information MRC Harwell I...
Catering Assistant , University of Reading, United Kingdom, about 1 hour ago
Henley Business School is situated in 30 acres of beautiful countryside in the Chiltern Valley on the banks of the River Thames, two miles from Henley on Thames. It provides management training fo...