Research Associate on Algorithmic Comparison of Stochastic Systems

We are excited to offer this Research Associate position at the University of Oxford, under the supervision of Professor Stefan Kiefer. The post holder will be a member of a project team of Automated Verification theme in the Department of Computer Science and a research group with responsibility for carrying out research on the robustness (continuity) of equivalences in probabilistic systems. This is part of an EPSRC-funded project on Algorithmic Comparison of Stochastic Systems. The post holder will work closely with the Principal Investigator, Stefan Kiefer, but also with other members of a team, including a PhD (DPhil) student and an external collaborator, Prof Franck van Breugel (York University, Toronto).

It is essential that successful candidate would hold a relevant PhD/DPhil or being close to completion in the relevant field together with relevant experience. The role requires a minimum of 2 days per week on-site, with flexible arrangements possible based on work requirements, such as in-person meeting attendance, and project timelines.

As an employer, we genuinely care about our employees' wellbeing and this is reflected in the range of benefits that we offer including:

• An excellent contributory pension scheme
• 38 days annual leave (pro-rata for part-time jobs)
• A comprehensive range of childcare services
• Family leave schemes
• Cycle loan scheme
• Discounted bus travel and Season Ticket travel loans
• Membership to a variety of social and sports clubs
Diversity Committed to equality and valuing diversity.