Research Associate in Algorithmic Comparison of Probabilistic Systems
Posted: 27th February 2019
Research Associate in Algorithmic Comparison of Probabilistic Systems
Fixed-term until 31 March 2021, with the possibility of extension
Full-time (flexible options considered)
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 https://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 noon on 1 May 2019.
For further details and to apply please visit: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=139674
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.