Tenure-Track Assistant Professor - Mathematical Foundations of AI and Formal Reasoning

Location - This role is in-person. Work primarily takes place at North Campus, Edmonton. The Department of Mathematical and Statistical Sciences at the University of Alberta invites applications for a tenure-track assistant professor position in Mathematical Foundations of AI and Formal Reasoning. The start date of the position is July 1, 2027, or as mutually agreed. We offer an excellent research environment. The successful candidate will establish their own research program, supervise graduate students, and teach both graduate and undergraduate courses. The University of Alberta provides an exceptional environment for research at the intersection of mathematics and AI. The Department has existing strength in formalization and formal reasoning, and there are substantial opportunities for collaboration with the Department of Computing Science and the Alberta Machine Intelligence Institute (Amii). The successful candidate will also have opportunities to contribute to the University’s growing research and educational activities in AI and data science. The University of Alberta has one of the leading joint Mathematics/Statistics departments in Canada and has strong connections with other scientific institutes, such as the Pacific Institute for the Mathematical Sciences (PIMS), Canadian Statistical Sciences Institute (CANSSI), and the Banff International Research Station (BIRS). For more information about the Department, see www.mathstats.ualberta.ca. Questions regarding the position may be directed to mssadmin@ualberta.ca. Review of complete applications will begin on December 1, 2026 and continue until the position is filled.