Research Associate in Algorithmic Comparison of Probabilistic Systems University of Oxford, Department of Computer Science United Kingdom

Research Associate in Algorithmic Comparison of Probabilistic Systems


Department of Computer Science, Parks Road, Oxford.


Grade 7: £32,236 - £39,609 p.a.


The verification group at the Department of Computer Science is pleased to announce a vacancy for a Research Associate in Algorithmic Comparison of Probabilistic Systems. Reporting to Professor Stefan Kiefer, and funded by the Royal Society, you will be carrying out original research in the algorithmic comparison of probabilistic systems. This is broadly interpreted, including foundational/mathematical research on Markov chains and Markov decision processes, research on verification algorithms and their complexity, as well as practical verification work such as the production of tools.

 

The research style and contents are comparable with Stefan Kiefer's previous research on probabilistic systems, see, for example, his publications at: www7.informatik.tu-muenchen.de/um/bibdb/author-kiefer.shtml. You will also provide guidance to junior members of the research group including DPhil students and visiting students, and collaborate with external researchers.

 

You will hold a PhD/DPhil (or be close to completion) in computer science or mathematics, together with relevant experience, specialist knowledge in probabilistic verification, and previous experience of contributing to publications/presentations in peer-reviewed journals or conferences. Experience of independently managing a discrete area of a research project or of actively collaborating in the development of research articles for publication is highly desirable.

 

The closing date for applications is 12.00 noon on 29 March 2019.

 

Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave.

 

Contact Person : Recruitment Team

Vacancy ID : 139674


Contact Phone :

Closing Date : 29-Mar-2019


Contact Email : recruitmentenquiries@cs.ox.ac.uk


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN
GOOGLE
https://computeroxy.com/research-associate-in-algorithmic-comparison-of-probabilistic-systems,i7107.html">

ubc reklama

Anu

cambridge

geneva

kuwait

Melbourne

nottingham

Nus

sfu

southampton

texas tech

Toronto

uni copenhagen

unsw

Uwo