Senior Research Associate on Concurrent and Distributed Probabilistic Verification

Computer Science - Wolfson Building, Parks Road, Oxford The Department of Computer Science is looking for an outstanding candidate to fill a senior researcher position available to start as soon as possible. This job is part of an Advanced Research + Invention Agency-funded project, and also a UKRI POST project, led by Professor David Parker and Professor Nobuko Yoshida. The post holder will be a member of a research group providing day-to-day supervision for research assistants and PhD students. The post holder is responsible for their own grant funded research project within a discrete area of a wider research programme. The successful candidate will be required to work primarily under the direction of Professor Sadie Creese and the supervision of Professor Michael Goldsmith, with guidance from other senior academics. The main responsibilities of the advertised post are to contribute to the BPAI project (as described below), with emphasis on probabilistic verification or programming for concurrency or distribution . This may involve probabilistic session types ; probabilistic model-checking ; probabilistic verification/synthesis ; probabilistic logics and semantics ; planning and game-theoretic methods ; or, where appropriate, software implementation in the context of the PRISM verification toolset. You will have a doctoral degree and post-qualification research experience in Concurrent and Distributed Probabilistic Verification.