Postdoc position in multi-objective stochastic verification

13 views
Skip to first unread message

Vojtech Forejt

unread,
May 23, 2015, 3:47:53 PM5/23/15
to prismmod...@googlegroups.com
Dear PRISM users and developers,

see below for a postdoc position available on a PRISM-related topic,
aiming to develop and implement novel multi-objective verification
algorithms.

Regards,

Vojtech

----

The Oxford University Computer Science Department has a new
opportunity on the EPSRC project “Towards comprehensive verification
of stochastic systems” led by Dr Vojtěch 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 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.

Informal enquiries are encouraged and should be sent to Dr Vojtěch
Forejt (voj...@cs.ox.ac.uk)

For more details about the position see
http://www.cs.ox.ac.uk/news/926-full.html. The closing date for
applications is 12 noon on 15 June 2015.
Reply all
Reply to author
Forward
0 new messages