University of Oxford
Description
You should hold a PhD (or be close to completion) in computer science, mathematics, or related discipline and have post-qualification research experience, possess sufficient specialist knowledge of compositional assume-guarantee methods in concurrency, contract-based reasoning, and probabilistic programming and/or probabilistic verification, and have an excellent track record of peer-reviewed...