Logic List Mailing Archive

PhD studentships in programming languages, Glasgow (Scotland), Deadline: 31 Jul 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@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/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.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam