PhD positions in PL at University of Glasgow: application deadline 31st July
CAUTION: The Sender of this email is not from within Dalhousie. 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/prospectivestud... <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/prospectivestud... <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@glasgow.ac.uk <mailto:ornela.dardha@glasgow.ac.uk> * Prof Simon Gay (programming language theory, verification techniques based on session types for concurrent/distributed systems), email simon.gay@glasgow.ac.uk <mailto:simon.gay@glasgow.ac.uk> * Dr Jeremy Singer (compilers, cloud, managed run-times, parallelism, resource management), email Jeremy.singer@glasgow.ac.uk <mailto:Jeremy.singer@glasgow.ac.uk> * Prof Phil Trinder (programming languages, functional programming, parallel/distributed systems), email phil.trinder@glasgow.ac.uk <mailto:phil.trinder@glasgow.ac.uk> * Prof Wim Vanderbauwhede (programming languages, compilation, heterogeneous & FPGA computing), email wim.vanderbauwhede@glasgow.ac.uk <mailto:wim.vanderbauwhede@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/prospectivestud... <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. --Apple-Mail=AA83CBD-4B4B-47AF-B8BC-C5506C43BB1F Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=s-ascii" <html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><p class="MsoNormal" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin-bottom: 0cm; line-height: normal;"><span class="">The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in autumn 2021.</span></p><div class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin-bottom: 0cm; line-height: normal;" class="">Types of Scholarships being offered: </div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin-bottom: 0cm; line-height: normal;" class=""><ul type="disc" style="margin-bottom: 0cm; margin-top: 0cm;" class=""><li class="MsoListParagraph" style="margin: 0cm;">Minerva Scholarships. These are Research and Teaching Scholarships. See <a href="https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestud..." style="color: rgb(5, 99, 193);" class="">https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/minervascholarships/</a> for more information.</li><li class="MsoListParagraph" style="margin: 0cm;">Excellence Bursaries. These are Research Scholarships. See<a href="https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestud..." style="color: rgb(5, 99, 193);" class="">https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/excellencebursaries</a> for more information.</li></ul><div style="margin: 0cm;" class=""> </div></div><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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 <a href="https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/" class="">https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/</a> for further details) </p><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <b class="">Dr Ornela Dardha</b> PL Theme Lead (programming languages foundations, logic, (session) types for functional/concurrent systems, mechanisation), email <a href="mailto:ornela.dardha@glasgow.ac.uk" class="">ornela.dardha@glasgow.ac.uk</a><o:p class=""></o:p></p><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <b class="">Prof Simon Gay</b> (programming language theory, verification techniques based on session types for concurrent/distributed systems), email <a href="mailto:simon.gay@glasgow.ac.uk" class="">simon.gay@glasgow.ac.uk</a><o:p class=""></o:p></p><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <b class="">Dr Jeremy Singer</b> (compilers, cloud, managed run-times, parallelism, resource management), email <a href="mailto:Jeremy.singer@glasgow.ac.uk" class="">Jeremy.singer@glasgow.ac.uk</a><o:p class=""></o:p></p><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <b class="">Prof Phil Trinder</b> (programming languages, functional programming, parallel/distributed systems), email <a href="mailto:phil.trinder@glasgow.ac.uk" class="">phil.trinder@glasgow.ac.uk</a><o:p class=""></o:p></p><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <b class="">Prof Wim Vanderbauwhede</b> (programming languages, compilation, heterogeneous & FPGA computing), email <a href="mailto:wim.vanderbauwhede@glasgow.ac.uk" class="">wim.vanderbauwhede@glasgow.ac.uk</a></p><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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<b class=""> 31 July 2021</b>. For more information about how to apply, see</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> </span><a href="https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestud..." class="" style="caret-color: rgb(0, 0, 0);">https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/</a><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">. This web page includes information about the research proposal, which is required as part of your application.</span></div><p class="MsoPlainText" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Applicants are strongly encouraged to contact a potential supervisor and discuss an application before the submission deadline.</p></body></html> --Apple-Mail=AA83CBD-4B4B-47AF-B8BC-C5506C43BB1F-- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (1)
-
Ornela Dardha