[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 Programming Languages, Type Theory, Logic in Computer Science, Verification, and Category Theory. https://www2.le.ac.uk/departments/informatics/postgraduate/research/gta-may17 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