University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate in Algorithmic Comparison of Probabilistic Systems

Applications for this vacancy closed on 1 May 2019 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>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.</p><br> <p>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.</p><br> <p>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.</p><br> <p>The closing date for applications is 12.00 noon on 1 May 2019.</p><br> <p>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.</p> </div>
dc:spatial
Department of Computer Science, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2019-05-01 12:00:00+01:00
vacancy:applicationOpeningDate
2019-02-27 09:00:00+00:00
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
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 ...

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 ...

label
Research Associate in Algorithmic Comparison of Probabilistic Systems
notation
139674
based near