University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Assistant on Verification of Stochastic Systems

Applications for this vacancy closed on 15 June 2015 at 12:00PM
The department has a new opportunity on the EPSRC project “Towards
comprehensive verification of stochastic systems” led by Dr Vojtech Forejt,
covering both theoretical and practical aspects of verification and controller
synthesis problems for Markov decision processes against complex quantitative
properties.

The project aims to develop techniques for reasoning about more involved
objectives, and will develop new techniques for multi-objective synthesis, and
for giving users detailed information about distributions of possible outcomes
of executions. The scope includes both foundational issues, such as
decidability of the problems, and more applied aspects such as improving the
algorithms so as to avoid state-space explosion, and implementing the
algorithms.

You should have a PhD (or be close to completion) in a relevant area of
science, together with a documented track record of published research, as
well as the ability to contribute ideas for new research projects, including
research income generation. Experience of actively collaborating in developing
articles for publication, and of independently managing a discrete area of a
research project is desirable.

This position is fixed-term for up to 12 months.

The closing date for applications is 12.00 noon on 15 June 2015.

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

The department has a new opportunity on the EPSRC project “Towards comprehensive verification of stochastic systems” led by Dr Vojtech Forejt, covering both theoretical and practical aspects of verification and controller synthesis problems for Markov decision processes against complex quantitative properties.

The project aims to develop techniques for reasoning about more involved objectives, and will develop new techniques for multi-objective synthesis, and for giving users detailed information about distributions of possible outcomes of executions. The scope includes both foundational issues, such as decidability of the problems, and more applied aspects such as improving the algorithms so as to avoid state-space ...

The department has a new opportunity on the EPSRC project “Towards
comprehensive verification of stochastic systems” led by Dr Vojtech Forejt,
covering both theoretical and practical aspects of verification and controller
synthesis problems for Markov decision processes against complex quantitative
properties.

The project aims to develop techniques for reasoning about more involved
objectives, and will develop new techniques for multi-objective synthesis, and
for giving users detailed information about distributions of possible outcomes
of executions. The scope includes both foundational issues, such as
decidability of the problems, and more applied aspects such as improving the
algorithms so as to avoid state-space ...
label
Research Assistant on Verification of Stochastic Systems
notation
118461
based near
page