Research Associate – FUN2MODEL: From FUNction-based TO MOdel-based Automated Probabilistic Reasoning for DEep Learning

University of Oxford
6 June 2019
Oxford, United Kingdom
Job Type


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...

Related Jobs

4 December 2023