1

Formal Methods Computer Science Jobs in Toronto, ON

Bachelor's degree in Information technology, computer science, engineering, business or related ... methods * Previous formal training in project management preferred, including Agile Alliance, PMI ...

Bachelor's degree in Information technology, computer science, engineering, business or related ... methods * Previous formal training in project management preferred, including Agile Alliance, PMI ...

IP Verification Engineer

Toronto, ON ยท Hybrid

CA$125K - CA$170K/yr

... in Computer Science or Electrical/Computer Engineering (or similar field) over 5+ years of ... Knowledge on formal methodology. "Nice To Have" Skills and Experience: * Experience with Arm-based ...

Analytics, Insights, & Artificial Intelligence Pay Details: $187,500 - $261,000 CAD The pay details ... Agir comme expert-conseil, en offrant du mentorat et de l'accompagnement sur les methodologies ...

Sr. Full Stack Data Science Engineer

Toronto, ON ยท On-site

CA$154K - CA$199K/yr

Analytics, Insights, & Artificial Intelligence Pay Details: $154,000 - $199,500 CAD The pay details ... Agir comme expert-conseil, en offrant du mentorat et de l'accompagnement sur les methodologies ...

Bonus: * PhD in Machine Learning, Mathematics, Statistics, Computer Science or in another highly quantitative field * Expertise in machine learning methods including Time series analysis ...

... new methodologies and tools to enhance our service offerings. * Mentor and guide junior data ... Master's degree or PhD in Data Science, Statistics, Computer Science, or a related quantitative ...

... Computer Science, or related quantitative field * 4-5 years of hands-on experience in applied ... Experience with causal ML methods (Double ML, causal forests, etc.) * Enthusiasm for AI and GenAI ...

next page

Showing results 1-20

People also search for

Formal Methods Computer Science information

What is the difference between Formal Methods Computer Science vs Software Engineer?

AspectFormal Methods Computer ScienceSoftware Engineer
Required CredentialsDegree in Computer Science, Mathematics, or related field; certifications in formal methodsDegree in Computer Science or Software Engineering; coding certifications often preferred
Work EnvironmentResearch labs, safety-critical industries, academiaTech companies, startups, enterprise software development
Industry UsageHigh-assurance systems, aerospace, defense, safety-critical applicationsWeb, mobile, enterprise applications, general software development
Comparison Search IntentUnderstanding specialized roles in formal verification and correctnessGeneral software development and coding practices

Formal Methods Computer Science focuses on mathematically verifying software correctness, often in safety-critical industries. Software Engineers develop and maintain a wide range of software applications. While both roles require a strong foundation in computer science, Formal Methods Computer Science emphasizes formal verification techniques, whereas Software Engineers focus on coding, system design, and implementation.

Sessional Lecturer - CSC148H1S - Introduction to Computer Science

University of Toronto

Toronto, ON โ€ข On-site

CA$16K/mo

Other

Posted 15 days ago


Job description

Date Posted: 05/22/2026
Req ID: 48242
Faculty/Division: Faculty of Arts & Science
Department: Department of Computer Science
Campus:ย St. George (Downtown Toronto)

Description:

Course number and title: CSC148H1S - Introduction to Computer Science, LEC5101


Please note, this position is a 0.5 FCE appointment.

Course description:ย  Abstract data types and data structures for implementing them. Linked data structures. Encapsulation and information-hiding. Object-oriented programming. Specifications. Analyzing the efficiency of programs. Recursion. This course assumes programming experience as provided by CSC108H1. Students who already have this background may consult the Computer Science Undergraduate Office for advice about skipping CSC108H1. Practical (P) sections consist of supervised work in the computing laboratory. These sections are offered when facilities are available, and attendance is required. Note: Students may request to move from CSC148H1 to CSC108H1 after the last day to add classes and before a deadline set by the course instructors, if space is available in CSC108H1 at the time of the request.

Reference: https://artsci.calendar.utoronto.ca/course/csc148h1ย 

Estimated course enrolment: 200 students


Estimated TA support: one 60-hour TA position for every 30 students

Class schedule: Tuesdays 18:00-21:00

*Please note, the delivery method for this course is currently in-person. Please note that, in keeping with current circumstances, the section delivery method may change as determined by the Faculty or the Department. ย ย 

Sessional dates of appointment: January 1, 2027 - April 30, 2027

Salary:

Sessional Lecturer I = $14,381.00

Sessional Lecturer I - Long Term = $16,080.00

Sessional Lecturer II = $16,080.00

Sessional Lecturer II - Long Term = $17,212.00

Sessional Lecturer III = $17,212.00

Sessional Lecturer III - Long Term = $17,755.00

Please note that should rates stipulated in the collective agreement vary from rates stated in this posting, the rates stated in the collective agreement shall prevail.

Minimum qualifications:

  • Graduate degreeย in Computer Science or closely related field required.
  • Demonstrated expertise in topic area of the course required.
  • Strong organizational, interpersonal, and communication skills required.
  • Teaching experience at the university level or equivalent industry level required.

Preferred qualifications:

  • Previous experience teaching undergraduate courses in the field of Computer Science preferred.
  • Demonstrated evidence of excellence in teaching preferred.
    ย 

Description of duties:

  • Preparing and delivering the lectures in-person on campus as scheduled.
  • Handling course administration including: maintaining the course website on Quercus; developing marking schemes/syllabus; planning tutorial content (when applicable); developing course assessments including assignments, projects, quizzes, tests, and final assessments.
  • Providing appropriate contact time outside of class to students, through office hours, email, the course website and/or the course bulletin board.
  • Preparing the breakdown of hours for TA duties in the course and supervising the TAs.
  • Ensuring that tutorials and/or labs are delivered appropriately by the TAs as applicable.
  • Managing the grading for the course, which is largely done by the TAs, and carrying out any grading not handled by the TAs.
  • Invigilating term tests and the final exam when applicable.
  • Managing the grades, including the timely completion and release of grades and feedback to students throughout the term; submitting final course grades (due May 7, 2027).

While there is a lot of room for creativity in course delivery, instructors will be expected to follow the basic content and style used by the faculty members who normally teach the course, and must get approval from these faculty members or from the Associate Chair for any substantial changes to the course content or assessment methods. Instructors will also be expected to consult with the department's Teaching Support group when creating the course syllabus and course assessments (tests, assignments, projects, and final exam)

Application instructions: All individuals interested in this position must submitย their application by using the following application form. The direct link is: https://forms.cloud.microsoft/r/gfGptJuLjg. This includes submitting an updated Curriculum Vitae and the CUPE 3902 Unit 3 application form available atย https://uoft.me/CUPE-3902-Unit-3-Application-Form. If you have any questions, please email:ย sessional_lecturer@cs.toronto.edu.

***

The University is committed to the principles of the Accessibility for Ontarians with Disabilities Act (AODA). As such, we strive to make our recruitment, assessment and selection processes as accessible as possible and provide accommodations as required for applicants with disabilities.
If you require any accommodations at any point during the application and hiring process, please email: sessional_lecturer@cs.toronto.edu.

Closing Date:ย 06/15/2026, 11:59PM EDT

**

This job is posted in accordance with the CUPE 3902 Unit 3 Collective Agreement.ย 

It is understood that some announcements of vacancies are tentative, pending final course determinations and enrolment. Should rates stipulated in the collective agreement vary from rates stated in this posting, the rates stated in the collective agreement shall prevail.ย ย 

Preference in hiring is given to qualified individuals advanced to the rank of Sessional Lecturer II or Sessional Lecturer III in accordance with Article 14:12 of the CUPE 3902 Unit 3 collective agreement.

Please note: Undergraduate or graduate students and postdoctoral fellows of the University of Toronto are covered by the CUPE 3902 Unit 1 collective agreement rather than the Unit 3 collective agreement, and should not apply for positions posted under the Unit 3 collective agreement.

Candidates who are members of Indigenous. Black, racialized and 2SLGBTQ+ communities, persons with disabilities, and other equity-deserving groups are encouraged to apply, and their lived experience shall be taken into consideration as applicable to the position.