3 verification-computer-science positions at University of Toronto in Canada

Sessional Lecturer - CSCD01H3 - Engineering Large Software Systems

University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 20 days ago

practice of large-scale software system design, development, and deployment. Project management; advanced UML; requirements engineering; verification and validation; software architecture; performance

Sessional Lecturer - CSCD01H3 - Engineering Large Software Systems

University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 20 days ago

practice of large-scale software system design, development, and deployment. Project management; advanced UML; requirements engineering; verification and validation; software architecture; performance

Sessional Lecturer, INF2207H - Practical Elements of Responsible AI Development

University of Toronto | Downtown Toronto St James Park, Ontario | Canada | 2 months ago

, information security, privacy, verification, auditing, reproducibility, red-teaming, unit-testing, sandboxing, scenario planning, risk, and impact analysis. INF2207H - Practical Elements of Responsible AI