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
- 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
-
Science and Occupational Therapy’s MScOT program and in the Rehabilitation Sciences Institute ’s doctoral stream program. Salary will be commensurate with qualifications and experience. The latest Times
-
text editing and computational approaches to humanities research; and library and archival methods. Book Science projects are interdisciplinary collaborations that surface hidden aspects of books
-
): General Programming Dataset curation, database management, and data-mining skills Computational chemistry pipelines, and physics-informed material discovery Additional expertise that is desired (but not
-
Sessional Lecturer Position Posting Date: May 2, 2025 Program: ExecutiveMaster of Health Informatics (eMHI) Sessional Dates of Appointment: Fall 2025, September to December Course Description
-
Imaging Hospital Affiliation: Sunnybrook Health Science Centre Campus: St. George (Downtown Toronto) Description: NOTE: THE DEADLINE HAS BEEN EXTENDED TO AUGUST 31, 2025 The Department of Medical Imaging
-
commitment to research computing excellence and priorities of academic units across the Faculty. Oversee divisional computing and technology needs, assessing and fulfilling requirements to support the
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 1 day ago
Date Posted: 08/07/2025 Req ID: 44676 Faculty/Division: UofT Mississauga Department: UTM: Math/Comp. Sciences Campus: University of Toronto Mississauga (UTM) Description: Course number and title
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 2 days ago
, colouring. The course emphasizes topics of relevance to computer science, and exercises problem-solving skills and proof techniques such as well ordering, induction, contradiction, and counterexample Lecture
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 3 days ago
Date Posted: August 1st, 2024 Closing Date: August 15th, 2024 - 11:59 PM EST Req ID: 39084 Faculty/Division: School of Graduate Studies Department: Master of Biotechnology Program Campus: UTM
-
Sessional Instructional Assistant - MAT302H5F - Intro to Algebraic Cryptography (emergency posting)1
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 1 day agoDate Posted: 08/07/2025 Req ID: 44670 Faculty/Division: UofT Mississauga Department: UTM: Math/Comp. Sciences Campus: University of Toronto Mississauga (UTM) Description: Course number and title