[TYPES/announce] MSc/PhD positions at the Queen's School of Computing

[Joshua Dunfield]

Interested in doing graduate research on types and programming 
languages?  I am building up a research group at Queen's University, 
with designated funding for one domestic PhD (Canadian citizen or 
permanent resident), with possible funding for additional MSc and PhD 
positions.  Current research directions include type systems for 
scalable incremental computation, gradual intersection and union types, 
and type refinements.  For more information on my research, see 
http://research.cs.queensu.ca/~joshuad/.

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.  The application deadline is 15 January 2018, but is 
flexible for Canadian applicants.  Availability of support is subject to 
applicable regulations and budgetary conditions.