[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
Please see below for new PhD positions
https://le.ac.uk/study/research-degrees/funded-opportunities/informatics-gta-2021
As a GTA (Graduate Teaching Assistant) you will have a PhD Supervisor, a four
year period to complete your PhD, and you will assist with teaching and
learning during term time.
Staff whose research areas fit most closely with the Types List are Roy Crole
(programming types and semantics), Reiko Heckel (graph transformation, and
semantics) and Irek Ulidowski (types, concurrency and reversible computation):
https://www.cs.le.ac.uk/people/rcrole/
https://www.cs.le.ac.uk/people/rh122/
https://www.cs.le.ac.uk/people/iu3/
Leicester has been actively involved in the Midlands Graduate School over many
years: http://www.cs.nott.ac.uk/MGS/
Kind regards,
Roy Crole.
