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.
MNCJobs.co.uk will not be responsible for any payment made to a third-party. All Terms of Use are applicable.