University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Senior Researcher in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity

Applications for this vacancy closed on 15 March 2018 at 12:00PM
We have an exciting opportunity for a Senior Researcher to work with Professor
Joel Ouaknine and his collaborators on the ERC-funded project “Analysis,
Verification and Synthesis of Infinite-State Systems”. The aim of this project
is to investigate key algorithmic verification questions concerning certain
fundamental mathematical structures used to model and analyse infinite-state
systems, namely linear dynamical systems (both discrete and continuous) and
counter automata, in both ordinary and parametric form.



You will focus on a range of problems, including reachability, model checking,
module checking, synthesis, etc. for linear dynamical systems and counter
machines, though our main interests lie in algorithmic and complexity-
theoretic questions. It is expected that parts of this research may involve
the use of a range of advanced mathematical tools, drawn from linear algebra
and spectral techniques, number theory, Diophantine and real algebraic
geometry, model theory, etc.



You should have a relevant PhD/DPhil with post-qualification research
experience, including a documented track record of the ability to conduct and
complete research in some of the areas of automata theory, dynamical systems,
verification, logic, or computational number theory, as witnessed by published
peer-reviewed work. Experience of supervising staff, managing a research
budget, or of making grant applications is highly desirable.



Whilst the role is a Grade 8 position, we would be willing to consider
candidates with potential but less experience who are seeking a development
opportunity, for which an initial appointment would be at Grade 7 (£31,604 -
£38,833 p.a.) with the responsibilities adjusted accordingly (for Grade 7, you
would be expected to hold a doctoral degree in Computer Science or be close to
completion). This would be discussed with applicants at interview/appointment
where appropriate.



The closing date for applications is 12.00 noon on 15 March 2018.

dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2018-03-15 12:00:00+00:00
vacancy:applicationOpeningDate
2018-02-13 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

We have an exciting opportunity for a Senior Researcher to work with Professor Joel Ouaknine and his collaborators on the ERC-funded project “Analysis, Verification and Synthesis of Infinite-State Systems”. The aim of this project is to investigate key algorithmic verification questions concerning certain fundamental mathematical structures used to model and analyse infinite-state systems, namely linear dynamical systems (both discrete and continuous) and counter automata, in both ordinary and parametric form.


You will focus on a range of problems, including reachability, model checking, module checking, synthesis, etc. for linear dynamical systems and counter machines, though our main interests lie in algorithmic ...

We have an exciting opportunity for a Senior Researcher to work with Professor
Joel Ouaknine and his collaborators on the ERC-funded project “Analysis,
Verification and Synthesis of Infinite-State Systems”. The aim of this project
is to investigate key algorithmic verification questions concerning certain
fundamental mathematical structures used to model and analyse infinite-state
systems, namely linear dynamical systems (both discrete and continuous) and
counter automata, in both ordinary and parametric form.



You will focus on a range of problems, including reachability, model checking,
module checking, synthesis, etc. for linear dynamical systems and counter
machines, though our main interests lie in algorithmic ...
label
Senior Researcher in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity
notation
133595
based near
page