[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected] 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.
