[TYPES/announce] MSc and PhD positions at Queen's University

[Joshua Dunfield]

I have funding for one or more graduate positions, both MSc and PhD, in 
the theory and practice of programming languages.  For a high-level 
overview, see http://dunfieldlab.ca/PL/.

Specific research directions include scalable incremental computation 
and gradual typing; some recent papers are listed at: 
http://research.cs.queensu.ca/~joshuad/by-date.html

Queen's University is located in Kingston, Ontario, which combines 
scenic Lake Ontario with a reasonable cost of living and transportation 
amenities including good city bus service, an airport, and convenient 
train service to Montreal, Ottawa and Toronto.

For application procedures, see the QSC site:

    http://www.cs.queensu.ca/applicants/graduate/

Informal inquiries to joshuad at cs.queensu.ca are welcome, and 
recommended.

Applying by the published deadline of 15 January 2019 is encouraged, but 
we often consider applications that come in past the deadline; if you 
miss it, let me know and I will try to make sure that your application 
is reviewed.

-j.