Applications are invited for a Research Associate in Formal Modelling for Health and Care in the School of Informatics, University of Edinburgh. More information available here.