[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Note that we have a growing group working on Homotopy Type Theory and related areas, including Dan Christensen, Chris Kapulkin, Karol Szumilo, and several graduate students.] Please distribute to undergraduate and master's students and appropriate counsellors and supervisors. Graduate Student Positions Department of Mathematics University of Western Ontario London, Ontario, Canada The Department of Mathematics at the University of Western Ontario solicits applications for its MSc and PhD programs. We have up to 20 fully funded positions available, and applicants from any country are welcome. Our faculty members supervise research in a variety of areas: http://www.math.uwo.ca/graduate/members-of-the-graduate-faculty/ More information, including the application procedure, is available at http://www.math.uwo.ca/graduate/ Students normally start in September, in which case applications should be complete (including letters of reference and supplementary material) by February 15. Applications received after this deadline will be reviewed as space permits. Early applications are welcome, and we encourage applicants to apply for external scholarships they are eligible for. Please contact math-grad-prog...@uwo.ca with any questions you may have.