PhD Scholarship at UCL (UK) on categorical approaches to non-classical computation