Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of British Columbia
- University of Waterloo
- Dalhousie University
- University of Victoria
- Ryerson University
- STLHE - Society for Teaching and Learning in Higher Education
- Nature Careers
- Queen's University
- McGill University
- The University of British Columbia (UBC)
- University of Lethbridge
- Fields Institute
- Koziarski Lab - The Hospital for Sick Children
- National Research Council Canada
- Northern Alberta Institute of Technology
- OCAD University
- University of Alberta
- University of Saskatchewan
- 8 more »
- « less
-
Field
-
As of 2023, the guidelines for the D2L Innovation in Teaching and Learning award have been amended to recognize collaborative innovations. Please review the updated application process and expectations for submissions. APPLICATIONS FOR THE 2025 D2L AWARD ARE DUE: FEBRUARY 15TH, 2025. If you are...
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions