ZipRecruiter

Log In

1

Automated Reasoning Jobs in Ontario (NOW HIRING)

Scotiabank

Staff AI Engineer - Tangerine

Toronto, ON · On-site

... reasoning workflows, structured outputs, and prompt safety * Work hands-on to de-risk complex ... Ensure systems are testable, observable, and resilient, with automated testing and clear ...

CookUnity

AI Native Engineer

Toronto, ON · On-site

You'll architect the automated version, build it, and then own it in production: tracking KPIs ... Use your judgment on the right tool for the job: agentic workflows when tasks require reasoning and ...

VitalBio

Manufacturing Engineer I

Oakville, ON

CA$80K - CA$95K/yr

... automated equipment for the prototyping, scale-up and production of sub-assemblies, and final ... Demonstrated critical thinking and analytical reasoning skills; * Ability to apply a disciplined ...

Telana

Senior Platform Engineer (Security)

London, ON · On-site

... reasoning behind design decisions. Rather than building straight to a backlog, you interrogate the ... Experience investigating and remediating misconfigurations and establishing automated processes for ...

Vangard, Inc.

Senior AI Scientist

Toronto, ON

... automated evaluation systems * Develop and validate quantitative frameworks for assessing LLM ... Solid foundation in statistical reasoning and experimental design: hypothesis formulation ...

CookUnity

AI Native Engineer

Toronto, ON · On-site

You'll architect the automated version, build it, and then own it in production: tracking KPIs ... Use your judgment on the right tool for the job: agentic workflows when tasks require reasoning and ...

Snaplii

Sr. Quality Assurance Engineer

Toronto, ON

$70K - $90K/yr

... strong logical reasoning and documentationskills to design targeted, comprehensive, and well ... one automated testing framework or scripting language (e.g.,Selenium, Appium, Cypress, or Python ...

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Ontario

Automated Reasoning information

What is automated reasoning?

Automated reasoning is a field of computer science and mathematical logic dedicated to understanding how reasoning can be automated using computers. It involves developing algorithms and software that allow computers to prove theorems, verify software and hardware systems, and solve logical problems. Automated reasoning is used in areas such as formal verification, artificial intelligence, and knowledge representation, helping to ensure systems behave as intended and are free of certain types of errors.

What are the key skills and qualifications needed to thrive as an automated reasoning engineer?

To thrive as an Automated Reasoning Engineer, you need a strong background in computer science, logic, and formal verification, often supported by an advanced degree in a related field. Familiarity with formal methods tools (such as SMT solvers, model checkers), programming languages like Python, C++, or OCaml, and experience with verification frameworks are typically important. Analytical thinking, problem-solving, and effective communication skills help engineers tackle complex proofs and collaborate with interdisciplinary teams. These skills are crucial for ensuring the reliability and correctness of software and hardware systems in safety-critical environments.

What are some common challenges faced by professionals working in automated reasoning roles?

Professionals in Automated Reasoning often encounter challenges such as handling highly complex logical problems, ensuring the scalability of reasoning algorithms, and integrating automated reasoning tools with existing systems. Collaborating with interdisciplinary teams—including software engineers, data scientists, and domain experts—can present communication hurdles, as explaining formal logic concepts to non-experts is sometimes necessary. Additionally, staying up-to-date with the latest research and advancements in theorem proving and formal verification is crucial for continued success in this rapidly evolving field.

What are popular job titles related to Automated Reasoning jobs in Ontario?

For Automated Reasoning jobs in Ontario, the most frequently searched job titles are:

What job categories do people searching Automated Reasoning jobs in Ontario look for?

The top searched job categories for Automated Reasoning jobs in Ontario are:

Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Ontario as of August 2026, with employment types broken down into 80% Full Time, 15% Part Time, 4% Contract, and 1% Nights. Highlights an 86% Physical, 4% Hybrid, and 10% Remote job distribution.

Staff Software Architect - Virtualization, SIL, and AIEnablement

General Motors

Oshawa, ON • Hybrid

CA$137K - CA$203K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Re-posted 6 days ago

General Motors rating

8.2

Company rating: 8.2 out of 10

General Motors

Based on 306 frontline employees who took The Breakroom Quiz

7.4

Company rating compared to similar companies: 7.4 out of 10

Automakers average

Based on 6,287 frontline employees who took The Breakroom Quiz

Job description

Job Description

Vacancy Status:

This posting is for an existing vacancy within the organization and is open to new applications.

AI Disclosure:

As part of the application process, Artificial Intelligence will be used in the hiring process for this role

Work Arrangement: Hybrid: This role is categorized as hybrid. This means the successful candidate is expected to report to Markham or Oshawa office three times per week, at minimum.

The Role

As aSoftware Architect, you will define the architecture for GM'snextgenerationvirtual development platform, including SIL orchestration,AIenhancedsimulation, data flows, andcloudnativecompute.You'llbuild on your strengths in automation, embedded systems, and debugging while expanding into cloud orchestration,IaC, ML workflows, and distributed simulation systems.

WhatYou'llDo (Responsibilities)

  • Architect distributed simulation systemsforvECUs, FMUs, and SIL/MILworkloads, ensuring scalable execution across heterogeneous environments.

  • DefineAIenabledsimulation patternsincluding scenario generation,modelbasedinference, and data pipelines.

  • Designcloudnativecompute platformsoptimizedforlargescaleparallel, and elastically scalable simulation workloads.

  • Establish API and service architecturefor orchestration and data management.

  • GuideCI/CD integrationfor simulation and AI components.

  • Mentor developersand influence technical direction across teams.

  • Ensure security, observability, and reliabilityacross the platform.

Your Skills & Abilities (Qualifications)

  • Bachelor's orMaster's degree in Engineering, Computer Science, or related field.

  • 10+ years of relevant experiencein software architecture, simulation, or distributed systems.

  • Expertise inbackend and distributed systems.

  • Experience with virtualization and simulation(vECUs, FMUs, SIL).

  • Strong cloud architecture skills.

  • Experience with CLI-based architectureand MCP-basedarchitecture for AI tools design.

  • Experience withontology-based system design and architecture.

  • AI/ML integration experiencefor simulation or data workflows.

  • Knowledge of data engineeringand storage patterns.

  • Experience with Kubernetesand container orchestration.

What Will Give You a Competitive Edge (Preferred Qualifications)

  • Experience designing simulation platformsat enterprise scale.

  • Knowledge of automotive domain modelingand ontology.

  • Experience witheventdrivenarchitecturesfor simulation workflows.

  • Experience with Agentic AI architectureand multi-agent coordination.

  • Advanced knowledge of ontology technologiesand ontology design patterns(Owl,RDF,SPARQL,Automated reasoning)

  • Advanced ML workflow experience(feature stores, model serving, vector DBs).

Compensation:

The salary range for this role is $137,300 to $203,000. The actual base salary a successful candidate will be offered within this range will vary based on factors relevant to the position.

GM DOES NOT PROVIDE IMMIGRATION-RELATED SPONSORSHIP FOR THIS ROLE. DO NOT APPLY FOR THIS ROLE IF YOU WILLNEED GM IMMIGRATION SPONSORSHIP NOW OR IN THE FUTURE.

Benefits Overview

The goal of the General Motors of Canada total rewards program is to support the health and well-being of you and your family. Our comprehensive compensation plan currently includes the following benefits, in addition to many others:

  • Paid time off including vacation days, holidays, and supplemental benefits for pregnancy, parental and adoption leave;

  • Healthcare, dental, and vision benefits;

  • Life insurance plans to cover you and your family;

  • Company and matching contributions to a Defined Contribution Pension plan to help you save for retirement;

  • GM Vehicle Purchase Plan for you, your family and friends.

About GM

Our vision is a world with Zero Crashes, Zero Emissions and Zero Congestion and we embrace the responsibility to lead the change that will make our world better, safer and more equitable for all.

Why Join Us

We believe we all must make a choice every day - individually and collectively - to drive meaningful change through our words, our deeds and our culture. Every day, we want every employee to feel they belong to one General Motors team.

Non-Discrimination and Equal Employment Opportunities

General Motors is committed to being a workplace that is not only free of unlawful discrimination, but one that genuinely fosters inclusion and belonging. We strongly believe that providing an inclusive workplace creates an environment in which our employees can thrive and develop better products for our customers.
We encourage interested candidates to review the key responsibilities and qualifications for each role and apply for any positions that match their skills and capabilities. Applicants in the recruitment process may be required, where applicable, to successfully complete a role-related assessment(s) and/or a pre-employment screening prior to beginning employment. To learn more, visit How we Hire.

Accommodations

General Motors offers opportunities to all job seekers including individuals with disabilities. If you need a reasonable accommodation to assist with your job search or application for employment, email us or call us at 1-800-865-7580. In your email, please include a description of the specific accommodation you are requesting as well as the job title and requisition number of the position for which you are applying.

Working at General Motors

What General Motors employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

General Motors logo

About General Motors

Sourced by ZipRecruiter

General Motors is a company with global scale and capabilities, headquartered in Detroit, Michigan, with employees around the world. The company employs over 165,000 people, serves six continents, operates across 22 time zones, and has a diverse workforce speaking 75 languages1. GM’s vision is to drive the world forward by pioneering innovations that move and connect people to what matters. The company is working towards an all-electric future with its new Ultium Platform and is pushing transportation options beyond our wildest imaginations with autonomous vehicles. GM is also committed to becoming the most inclusive company in the world.

Industry

Transportation equipment manufacturing

Company size

10,000+ Employees

Headquarters location

Detroit, MI, US

Year founded

1908

View All General Motors Jobs

Apply