PhD Research Fellow in Specification and Analysis of Information Privacy (University of Oslo Department of Informatics)