PhD Scholarship available at University College London, UK, on categorical approaches to non-classical computation

A fully-funded PhD position is available at University College London for a project on the applications of logic and category theory to the semantics of non-classical computational models (probabilistic, quantum, concurrenct, cyber-physical, …). Starting date can be negotiated (February to September 2018).