Research Associate, VePaSS: Probabilistic Security

Posted 30 minutes 22 seconds ago by Corehr

Permanent

Full Time

Research Jobs

Oxfordshire, Oxford, United Kingdom, OX1 1

Job Description

University of Oxford, Department of Computer Science, invites two Research Associates to work on the ERC Synergy project VePaSS, focusing on automated verification of probabilistic security systems. Posts run 20 October 2026 to 19 October 2027, with possible renewal.

Salary £39,424-£47,779 per annum with Oxford weighting. Candidates should have a PhD or be near completion, with knowledge in stochastic games, symbolic computation, and automated verification.