[TYPES/announce] PhD studentships at the University of Leicester

[Alexander Kurz]

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