Dear All, We have 8 PhD positions at the University of Leicester. 3 (so called GTA positions) involve teaching assistance, are over 4 years and can be in any area of research of our Department of Informatics, including Category Theory, in particular if related to Logic and Computer Science (with potential supervisors Roy Crole and Alexander Kurz). https://www2.le.ac.uk/departments/informatics/postgraduate/research/gta-may1... 5 phd positions involve no teaching obligations, are over 3 years and on specific topics: https://www2.le.ac.uk/colleges/scieng/research/pgr/oct-2017/informatics Please pass on to whoever might be interested. I am happy to answer any further questions. Kind regards, Alexander Kurz [For admin and other information see: http://www.mta.ca/~cat-dist/ ]