PhD Research Fellowship in Formal Methods for Real-Time Systems (University of Oslo Department of Informatics)