847 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
- Biology
- Business
- Materials Science
- Science
- Arts and Literature
- Engineering
- Social Sciences
- Chemistry
- Mathematics
- Education
- Philosophy
- Humanities
- Psychology
- Earth Sciences
- Law
- Linguistics
- Environment
- Design
- Sports and Recreation
- Electrical Engineering
- Physics
- 14 more »
- « less
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | about 3 hours ago
: MAT102H5F Intro To Mathem Proofs (emergency post) Course description: Understanding, using and developing precise expressions of mathematical ideas, including definitions and theorems. Set theory, logical
-
Sessional Instructional Assistant - MAT309H5F - Introduction to Mathematical Logic (emergency postin
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | about 3 hours ago: MAT309H5F Introduction to Mathematical Logic (emergency post) Course description: The relationships among axioms, proofs, consistency and truth in mathematics. Soundness and Completeness. Introductions
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 1 day 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
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 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 | 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
-
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 | 23 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