University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Researcher on Verification of Linear Dynamical Systems

Applications for this vacancy closed on 24 November 2016 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>A vacancy has arisen for a full-time researcher on the topic of Verification of Linear Dynamical Systems, led by Professor James Worrell. The overall aim 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, and linear differential equations.</p><br><p>Building on recent progress in this area, you will develop algorithms to solve reachability, termination, and synthesis problems for these models by combining a range of computational techniques, including quantifier elimination and lattice reduction, and using results from number theory (particularly lower bounds in Diophantine approximation).</p><br><p>The primary selection criteria are a doctoral degree in a relevant area of science, and a documented track record of the ability to conduct and complete research and programming projects in relevant fields (automated verification, automata theory, dynamical systems, or computational number theory), as witnessed by published material or well-documented sources.</p><br><p>The closing date for applications is 12.00 noon on 24 November 2016.</p> </div>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2016-11-24 12:00:00+00:00
vacancy:applicationOpeningDate
2016-10-07 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

A vacancy has arisen for a full-time researcher on the topic of Verification of Linear Dynamical Systems, led by Professor James Worrell. The overall aim 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, and linear differential equations.


Building on recent progress in this area, you will develop algorithms to solve reachability, termination, and synthesis problems for these models by combining a range of computational techniques, including quantifier elimination and lattice reduction, and using results from number ...

A vacancy has arisen for a full-time researcher on the topic of Verification
of Linear Dynamical Systems, led by Professor James Worrell. The overall aim
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, and linear differential equations.



Building on recent progress in this area, you will develop algorithms to solve
reachability, termination, and synthesis problems for these models by
combining a range of computational techniques, including quantifier
elimination and lattice reduction, and using results from number ...
label
Researcher on Verification of Linear Dynamical Systems
notation
125739
based near
page