Research Nurse

Updated: 11 months ago
Location: Oxford, ENGLAND
Deadline: 21 Aug 2019

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, 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.

View or Apply

Similar Positions