{"id":"1415c2b7-c85b-409a-8a59-374af2035c7d","title":"Tenure-Track Assistant Professor - Mathematical Foundations of AI and Formal Reasoning","company":{"id":"b8504eac-87bc-4c72-b10a-a3c07576ecda","name":"UOA","website":"https://iaejup.fa.ocs.oraclecloud.com","url":"https://yesjob.brogu.ca/companies/b8504eac-87bc-4c72-b10a-a3c07576ecda"},"url":"https://yesjob.brogu.ca/jobs/1415c2b7-c85b-409a-8a59-374af2035c7d","apply_url":"https://iaejup.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/UOA-Careers/job/4514","status":"open","location":"Edmonton, AB, Canada","locations":[{"city":"Edmonton","region":"AB","country":"CA"}],"workplace":"onsite","remote_eligible_countries":[],"employment_types":["full_time"],"work_auth_required":"unspecified","term":null,"salary_cad_per_year":null,"languages_required":[],"seniority":"junior","first_seen_at":"2026-11-05T15:59:23.656Z","last_seen_at":"2026-11-08T05:13:58.756Z","salary_text":null,"summary":"- Tenure-track Assistant Professor (full-time, start July 1, 2027 or as agreed) in Mathematical Foundations of AI and Formal Reasoning at the University of Alberta, Edmonton; in-person role at North Campus.\n- Requires a PhD in Mathematics or a closely related field completed before the start date, a strong research record connected to AI and formal reasoning, and an essential commitment to graduate and undergraduate teaching.\n- Application: cover letter, CV, research statement, teaching profile, and at least three reference letters (one on teaching); review begins December 1, 2026.\n- Canadians and permanent residents get priority, but other applicants are considered if no suitable Canadian/PR candidate is found, so work authorization is not stated as a hard bar.","sources":["https://iaejup.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/UOA-Careers/job/4514"]}