[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected] <mailto:[email protected]>
* Prof Simon Gay (programming language theory, verification techniques based on
session types for concurrent/distributed systems), email
[email protected] <mailto:[email protected]>
* Dr Jeremy Singer (compilers, cloud, managed run-times, parallelism, resource
management), email [email protected]
<mailto:[email protected]>
* Prof Phil Trinder (programming languages, functional programming,
parallel/distributed systems), email [email protected]
<mailto:[email protected]>
* Prof Wim Vanderbauwhede (programming languages, compilation, heterogeneous &
FPGA computing), email [email protected]
<mailto:[email protected]>
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.
