PhD Research Fellowship in Formal Methods for Probabilistic Programs

University of Oslo Department of Informatics