626 proof-checking-postdoc-computer-science-logic positions at University of Toronto in Canada
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | about 18 hours ago
: Department of Computer and Mathematical Sciences Campus: University of Toronto Scarborough (UTSC) Description: The Department of Computer and Mathematical Sciences at the University of Toronto Scarborough
-
of Computer Science Campus: St. George (Downtown Toronto) Description: The Department of Computer Science in the Faculty of Arts and Science at the University of Toronto invites applications for three (3) full-time
-
Sessional Lecturer Position Posting Date: October 6, 2025 Program: Executive Master of Health Informatics (eMHI) Sessional Dates of Appointment: Winter 2026, January to April Course Description
-
Sessional Lecturer Position Posting Date: October 6, 2025 Program: Master of Health Informatics Sessional Dates of Appointment: Winter 2026, January to April Course Description: This course is
-
Sessional Lecturer Position Posting Date: October 3, 2025 Program: Master of Health Informatics (MHI) Sessional Dates of Appointment: Winter 2026, January to April Course Description: This course is
-
This course prepares students to deliver health informatics initiatives that create measurable value in real clinical and public health settings. Students learn core and modern project management
-
Date Posted: 10/10/2025 Req ID: 45474 Faculty/Division: Faculty of Arts & Science Department: Dept of Computer Science Campus: St. George (Downtown Toronto) Position Number: 00011572 Description
-
Sessional Lecturer Position Posting Date: October 6, 2025 Program: Executive Master of Health Informatics (eMHI) Sessional Dates of Appointment: Winter 2026, January to April Course Description
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 2 months ago
logic. Semantics, symbolization, and techniques of natural deduction in sentential logic. Symbolization, natural deduction, and models in monadic predicate logic. Symbolization and natural deduction with
-
of Computer Science Campus: St. George (Downtown Toronto) Description: The Department of Computer Science in the Faculty of Arts and Science at the University of Toronto invites applications for two full-time teaching