[Proof Complexity] MSc and PhD Positions at McGill University

Robert Robere robere.it at gmail.com
Mon Nov 8 16:29:37 CET 2021

Dear all,

This is an advertisement for open positions at both the PhD and MSc level
at McGill University for students interested in topics in computational
complexity theory and related areas, such as proof complexity, circuit
complexity, and communication complexity, working with Robert Robere. The
positions are fully funded with a standard teaching assistantship
component. Start times are somewhat flexible, but candidates would be
expected to begin in the Fall of 2022.

Further details on the application process can be found at this link:


The deadline for (international) applications to be fully considered is
December 15, 2021, although later applications will still be reviewed.
Informal inquiries will be happily answered; simply send an e-mail to
Robert Robere at robere at cs.mcgill.ca.


More information about the Proof-Complexity mailing list