[TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st July
Ornela Dardha
ornela.dardha at gmail.com
Thu Jul 1 09:08:55 EDT 2021
The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in autumn 2021.
Types of Scholarships being offered:
Minerva Scholarships. These are Research and Teaching Scholarships. See https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/minervascholarships/ <https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/minervascholarships/> for more information.
Excellence Bursaries. These are Research Scholarships. Seehttps://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/excellencebursaries <https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/excellencebursaries> for more information.
Whilst the above funding is open to students in all areas of computing science, applications in the area of programming languages are most welcomed. Available supervisors in this area at the School include (check the PL theme website https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/ <https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/> for further details)
* Dr Ornela Dardha PL Theme Lead (programming languages foundations, logic, (session) types for functional/concurrent systems, mechanisation), email ornela.dardha at glasgow.ac.uk <mailto:ornela.dardha at glasgow.ac.uk>
* Prof Simon Gay (programming language theory, verification techniques based on session types for concurrent/distributed systems), email simon.gay at glasgow.ac.uk <mailto:simon.gay at glasgow.ac.uk>
* Dr Jeremy Singer (compilers, cloud, managed run-times, parallelism, resource management), email Jeremy.singer at glasgow.ac.uk <mailto:Jeremy.singer at glasgow.ac.uk>
* Prof Phil Trinder (programming languages, functional programming, parallel/distributed systems), email phil.trinder at glasgow.ac.uk <mailto:phil.trinder at glasgow.ac.uk>
* Prof Wim Vanderbauwhede (programming languages, compilation, heterogeneous & FPGA computing), email wim.vanderbauwhede at glasgow.ac.uk <mailto:wim.vanderbauwhede at glasgow.ac.uk>
Students can apply for admission to PhD study at any time, but to be considered for the studentships we are offering at this round, we must receive your application by 31 July 2021. For more information about how to apply, see https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/ <https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/>. This web page includes information about the research proposal, which is required as part of your application.
Applicants are strongly encouraged to contact a potential supervisor and discuss an application before the submission deadline.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210701/ee110b62/attachment-0001.htm>
More information about the Types-announce
mailing list