MITACS Undergrad Research Internships - 2027 Applications Open

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The MITACS GlobalLink<https://urldefense.com/v3/__https://www.mitacs.ca/our-programs/globalink-research-internship-students__;!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8cXKedXs$ > program allows undergraduate students from across the world to complete paid research internships at Canadian universities. The internships last 12 weeks, with start dates between May 1 and July 31.
For 2027, there are several programming-language centred projects which are accepting applications.
Project Titles

  *
British Columbia, Simon Fraser University, Dr. Yuepeng Wang
     *   Equivalence Checking of Database Queries<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*equivalence-checking-of-database-queries__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K81r1cfQI$ >
  *
Saskatchewan, University of Regina, Dr. Joseph Eremondi
     *   Programmable Pattern Matching for Proof Assistants<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*programmable-pattern-matching-for-proof-assistants__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8hE9UxVE$ >
     *   GPU/Multicore Unification for Functional Languages<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*gpu-multicore-unification-for-functional-languages__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8xpIepoM$ >
     *   Optional Termination Checking for Proof Assistants<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*optional-termination-checking-for-proof-assistants__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8D8ZYDaU$ >
  *
Ontario, McMaster University, Dr. Jacques Carette
     *   Formalizing Mathematics and Computing in Agda<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*formalizing-mathematics-and-computing-in-agda__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8fshRfXM$ >
     *   Long-term Software Engineering<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*long-term-software-engineering__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8l19DJJ4$ >
  *
Ontario, University of Toronto, Dr. Ningning Xie
     *   Formalisms of advanced type systems
  *
Quebec, McGill University, Dr. Brigitte Pientka
     *   Building Verified Quantum Programming Language Implementations<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*building-verified-quantum-programming-language-implementations__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8y4oSCSI$ >
     *   Benchmarking McPTS<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*benchmarking-mcpts__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8BQDEWAo$ >
  *
Quebec, Université du Québec à Montréal , Dr. Ryan Kavanagh
     *
Verified Concurrent Algorithms<https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/*verified-concurrent-algorithms__;fiM!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8odPCbDg$ >    

Applicants must select 3-10 potential projects, from at least three different provinces. The projects listed here are the PL-focused ones, but students are welcome to apply to any projects that interest them.
Eligibility

  *   Applicants must be from one of the following partner countries: Austria, Brazil, Chile, China, Colombia, Finland, France, Germany, Hong Kong, India, Jordan, Mexico, Pakistan, Peru, Singapore, South Korea, Taiwan, Thailand, Tunisia, Ukraine, United Kingdom, United States
  *   Applicants must be full-time undergraduate students with between one and three semesters remaining in their program as of Fall 2027.
  *   Full eligibility requirements can be found at the MITACS page<https://urldefense.com/v3/__https://www.mitacs.ca/our-programs/globalink-research-internship-students/*eligibility__;Iw!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K89qAEwyg$ >

How to Apply

  *   Applications are due September 16 at 1pm Pacific Time
  *   This page<https://urldefense.com/v3/__https://www.mitacs.ca/our-programs/globalink-research-internship-students/*how_to_apply__;Iw!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8EhjwgNo$ > has full application instructions

Full project descriptions can be found at https://urldefense.com/v3/__https://www2.cs.uregina.ca/*eremondj/post/mitacs-2026/__;fg!!IBzWLUs!VW8Y1NVLAcHFqqsUXBltY_DKx8jCKLOzH7lDs4kX9F8PcwlZ5hPX7Oisc3ww_Jp5Mb0kTyDMkGf-MaDJhQr9QURd-YjIhdFMJ4K8OC9ZxUA$