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: 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, 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 :

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


All Jobs


ubc reklama










texas tech


uni copenhagen