University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity (three posts)

Applications for this vacancy closed on 21 August 2019 at 12:00PM
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.

dc:spatial
Department of Computer Science, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2019-08-21 12:00:00+01:00
vacancy:applicationOpeningDate
2019-07-18 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
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 ...

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

label
Research Associate in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity (three posts)
notation
141865
based near
page