University of Alberta seeks tenure-track professor in mathematical foundations of AI and formal reasoning

The University of Alberta is accepting applications for a tenure-track assistant professor in Mathematical Foundations of AI and Formal Reasoning. Its posting names AI safety and alignment, formalizing mathematics in Lean, and automated theorem proving among its areas of interest. The hire would lead a research program, supervise graduate students and teach. Review of complete applications begins December 1, 2026, and continues until the position is filled.