Applications are invited for a PhD studentship in testing concurrent programs and defining quality metrics for them. The PhD is fully funded for three years at UK/EU student fee level. The project will be supervised by Ajitha Rajan of the School of Informatics at the University of Edinburgh. The project will be in collaboration with Facebook, UK.
The Centre for Intelligent Systems & their Applications (CISA) has pioneered mechanisms for representational change driven by reasoning failures. The Institute is particularly interested in going beyond belief revision to encompass changes of concepts, i.e., the language in which the beliefs are represented.