[ 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
