Leave us your email address and we'll send you all the new jobs according to your preferences.

Research Associate, VePaSS: Probabilistic Security

Posted 21 minutes 35 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.

Email this Job