853 proof-checking-postdoc-computer-science-logic positions at University of Toronto in Canada
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
- Economics
- Computer Science
- Medical Sciences
- Business
- Biology
- Materials Science
- Engineering
- Science
- Arts and Literature
- Education
- Chemistry
- Social Sciences
- Linguistics
- Philosophy
- Psychology
- Humanities
- Mathematics
- Earth Sciences
- Environment
- Sports and Recreation
- Law
- Design
- Electrical Engineering
- Physics
- 14 more »
- « less
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | about 9 hours 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
-
Solidarity Program at New College seeks a sessional lecturer from January 1, 2026 – April 30, 2026 for the following in-person course: CSE348H1S: Mad Studies, Abolition, and Carceral Logics This course
-
Sessional Lecturer Position Posting Date: July 14, 2025 Program: Master of Health Informatics (MHI) Sessional dates of appointment: Fall 2025 September to December Course Description: This capstone
-
Date Posted: 07/08/2025 Req ID: 44109 Faculty/Division: Faculty of Arts & Science Department: Dept of Computer Science Campus: St. George (Downtown Toronto) Position Number: 00049483 Description
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | about 2 months ago
Course # and title: SOC221H5S: The Logic of Social Inquiry Course description: Logic of Social Inquiry compares the logic of quantitative and qualitative research. Key topis include
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | about 2 months ago
Course # and title: SOC221H5F (L0101): The Logic of Social Inquiry Course description: Logic of Social Inquiry compares the logic of quantitative and qualitative research. Key topis include
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 8 days ago
Scarborough Department: Department of Computer and Mathematical Sciences Campus: University of Toronto Scarborough (UTSC) Description: The Department of Computer and Mathematical Sciences at the University
-
diagrams, logic models, and usability testing — all grounded in the realities of clinical practice, policy environments, and technology development. Learning Objectives (Reframed to Fit Your Vision): By
-
Date Posted: 07/14/2025 Req ID: 44261 Faculty/Division: Faculty of Applied Science & Engineering Department: Professional Experience Year Campus: St. George (Downtown Toronto) Position Number
-
: Edward S. Rogers Sr. Department of Electrical and Computer Engineering Campus: St. George (Downtown Toronto) Description: The Edward S. Rogers Sr. Department of Electrical and Computer Engineering (ECE) in