[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
My group at Queen's University has funding for MSc and/or PhD positions,
to start September 2022. Our research focus is type systems. Current
research directions include polarized liquid types and modal gradual
typing. Our papers can be found via
https://urldefense.com/v3/__https://research.cs.queensu.ca/home/jana/by-date.html__;!!IBzWLUs!G_mAnSdrRygMdBps1cjeg-9UcwCRpQKMeCPI6feaI3FkheBC0ujyNUTXnMKw1AxxVZY5cqm558fpDQ$ .
Kingston is a small city on Lake Ontario, about halfway between Toronto
and Montreal. In less pandemic-stricken times, it was a popular tourist
destination.
All applications are welcome, including applications from members of
historically excluded groups.
The official application process is described at
https://urldefense.com/v3/__https://www.cs.queensu.ca/apply/graduate.php__;!!IBzWLUs!G_mAnSdrRygMdBps1cjeg-9UcwCRpQKMeCPI6feaI3FkheBC0ujyNUTXnMKw1AxxVZY5cqnxfZ_aRw$
Our graduate programs have some peculiarities, perhaps especially for
those accustomed to US graduate programs:
- MSc and PhD students are admitted direct-to-supervisor. In effect,
you need to convince a faculty member (me) to provide funding.
- Our PhD program requires you to have a master's degree. If you
don't have a master's degree, you can apply to the research-based MSc
program.
- The website mentions an "Honours Bachelor degree". This is a local
term for a 4-year bachelor's degree. It does not mean you need to have
taken special "honors" versions of classes, etc.
- It is easier to fund students who are Canadian citizens or
permanent residents. However, it is not impossible to fund non-Canadians.
Feel free to contact me at [email protected], even if you think you
will miss our published deadline of 15 January 2022.
-Jana
--
Jana Dunfield (she/her)
Assistant Professor, School of Computing
Queen's University at Kingston
research.cs.queensu.ca/~jana
