University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

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

Applications for this vacancy closed on 24 August 2015 at 12:00PM
We are looking to hire three postdoctoral research assistants 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.
The main focus lies in algorithmic and complexity-theoretic questions, and 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 will be expected to manage your own research and administrative activities
which will include small scale project management, as well as collaborate in
the preparation of research papers for publication in conferences and
journals. You may also be required to assist in the supervision of
postgraduate students working on related projects.

You will have a PhD or be very close to completion, in a relevant area of
science (such as computer science or mathematics) together with a documented
track record of completing research projects in the area of algorithms, logic,
or verification, as witnessed by published peer-reviewed work. You will
possess excellent communication skills and be able to work both independently
and as part of a collaborative team.

The posts are fixed-term for up to 12 months (with the possibility of one year
extension).

The closing date for applications is 12.00 noon on 24 August 2015. Interviews
are expected to be held on 8 September 2015.

dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2015-08-24 12:00:00+01:00
vacancy:applicationOpeningDate
2015-07-23 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

We are looking to hire three postdoctoral research assistants 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. The main focus lies in algorithmic and complexity-theoretic questions, and it is expected that parts of this research may involve the use of a range of advanced mathematical tools, drawn ...

We are looking to hire three postdoctoral research assistants 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.
The main focus lies in algorithmic and complexity-theoretic questions, and it
is expected that parts of this research may involve the use of a range of
advanced mathematical tools, drawn ...
label
Research Assistant in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity (3 posts)
notation
119446
based near
page