[TYPES/announce] PhD GTA Positions at University of Leicester, UK

[Crole, Roy L. (Dr.)]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210607/7d6c7bfb/attachment.htm>