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

Qualifications

• Must have a PhD degree in Mathematics (or a closely related mathematical field) completed prior to the start date of this position.
• Must demonstrate strong promise and significant achievements in research in Mathematics in connection to AI and Formal Reasoning.
• A strong commitment to graduate and undergraduate teaching is essential.
• Areas of interest include mathematical foundations of AI, mathematics of AI safety and alignment, formalization of mathematics in Lean, and automated theorem proving.
• Application Instructions
• Please submit the following as separate documents by clicking the “Apply Now” button below:
• Cover Letter
• Curriculum Vitae
• Research Statement
• Teaching profile outlining your experience and interests
• Throughout their application, we ask applicants to describe their plans for helping to reduce inequities, remove barriers to access, and cultivate a sense of belonging in their teaching, research, mentorship, and service.
• We also require at least three confidential letters of reference, one of which addresses the candidate’s teaching ability. The referees should submit their letters to [email protected]. Interviewees will have the opportunity to express the need for any accommodations, e.g., related to one's mobility, dietary restrictions, child care, etc.
• The successful candidate will be offered a tenure-track appointment at the rank of Assistant Professor, including a comprehensive benefits package.
• The terms and conditions of this appointment are governed by Schedule A of the collective agreement between the Board of Governors of the University of Alberta and the Association of Academic Staff of the University of Alberta.