1

Automated Reasoning Jobs in Ontario (NOW HIRING)

We do not utilize artificial intelligence or automated filtering systems at any stage of our ... reasoning abilities Basic knowledge and use of computer software: email, spreadsheets, MS Office ...

The long-term goal is reasoning agents that can handle the full range of carrier and broker ... Today our agents run millions of automated transactions a month across enterprise carriers, brokers ...

We do not utilize artificial intelligence or automated filtering systems at any stage of our ... and logical reasoning abilities · Basic knowledge and use of computer software: email ...

Showing results 41-48

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:

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.

Principal AI Developer

Open Text Corporation

Mississauga, ON • On-site

Full-time

PTO

Re-posted 12 days ago


Job description

OPENTEXT - THE INFORMATION COMPANY

OpenText is a global leader in information management, where innovation, creativity, and collaboration are the key components of our corporate culture. As a member of our team, you will have the opportunity to partner with the most highly regarded companies in the world, tackle complex issues, and contribute to projects that shape the future of digital transformation.

AI-First. Future-Driven. Human-Centered.

At OpenText, AI is at the heart of everything we do-powering innovation, transforming work, and empowering digital knowledge workers. We are hiring talent AI can't replace to help us shape the future of information management. Join us.

OPENTEXT - L'ENTREPRISE DE L'INFORMATION

OpenText est un leader mondial dans le domaine de la gestion de l'information, ou l'innovation, la creativite et la collaboration sont les elements cles de notre culture d'entreprise. En tant que membre de notre equipe, vous aurez l'occasion de collaborer avec les entreprises les plus reputees au monde, de vous attaquer a des problemes complexes et de contribuer a des projets qui faconnent l'avenir de la transformation numerique.

L'IA avant tout. Tourne vers l'avenir. Centre sur l'humain.

Chez OpenText, l'IA est au cur de toutes nos activites : elle stimule l'innovation, transforme le travail et donne plus de moyens aux travailleurs du savoir numerique. Nous recrutons des talents que l'IA ne peut remplacer pour nous aider a faconner l'avenir de la gestion de l'information. Rejoignez-nous.


Your Impact

The OpenText Cloud Services organization is seeking a Principal Artificial Intelligence Developer to join the Cloud Platforms & AI Operations team and serve as a technical authority and lead software or agentic AI systems and AI/ML Ops.

You will help shape and implement agent-based AI architecture, design and developing, take ownership of enterprise-scale agentic AI systems, influence AI technology direction, and operate at the forefront of applied AI and semi-autonomous systems.

This role is responsible for designing and developing a targeted, expanding fleet of interoperable, capable and performant AI agents against a well-defined roadmap that will transform IT Operations and IT Service Management speed, scale and efficiency for OpenText and clients, and for designing, deploying, managing, and supporting modern, scalable and secure AI/ML Ops infrastructure and workflows across public cloud environments.

You will help enable and achieve our vision to be the best Information Management company in the world-where information and AI elevate every individual and organization to be their best.

What the role offers

  • AI Agent Research: Evaluate emerging agent frameworks, model capabilities, software patterns, and research trends to guide strategic adoption.
  • AI Agent Architecture: Define reference agent architectures, design patterns, and best practices covering LLM selection, reasoning, planning, prompting, state, memory, tool orchestration, identity, access, security, observability, evaluation, and autonomy.
  • AI Agent Design: Translate business processes, rules, constraints, roles, performance thresholds, facts, and artifacts into agent requirements, patterns, and flows.
  • AI Agent Developing: Design and implement complex AI agents (primarily Python) integrated with enterprise systems, APIs, and data platforms.
  • AI Agent Testing & Evaluation: Perform functional and safety testing, regression testing, agent response evaluation, human-in-the-loop feedback, and automated quality metrics.
  • AI Agent Deployment & Governance: Automate deployment, monitoring, and governance of AI agents in scalable cloud production environments.
  • AI Agent Troubleshooting: Rapidly diagnose and resolve issues related to agent performance, behavior, results, safety, and security.

What you need to succeed

  • Experience: 2+ years in AI agent design and developing (end-to-end agentic systems) and 5+ years in Software Developing, DevOps, SRE, or Cloud developing.
  • Education: Bachelor's degree in Computer Science, Software Developing, Information Systems, or similar required; Master's in AI or related field highly desirable.
  • Agent Expertise: Strong experience with AI agent frameworks (Google Agent Developing Kit or similar) and agent design, Developing, and deployment (ITSM use cases desirable).
  • Programming & Data: Strong skills in Python, Bash, YAML, JSON; proficient in SQL and REST API-based data extraction
  • The role requires 5 days in the office.
  • CI/CD & Automation: Proficient with CI/CD tools (GitLab CI/CD, Flux, Argo Workflows) and infrastructure automation (Terraform, Helm, Ansible).
  • Cloud & Runtime: Proficient with AWS, GCP, or Azure; container orchestration (EKS/GKE/AKS, Anthos/Google Distributed Cloud) and model serving (VLLM, TorchServe).
  • Ecosystem & Governance: Proficient with MCP Server Protocol (MCP) and MCP Server Developing exposure to graph databases, monitoring/logging (Prometheus, Grafana, ELK, CloudWatch), data/model versioning, experiment tracking, and AI/ML security, compliance, and governance.

ONE LAST THING

Are you passionate about building the next generation of AI-powered systems? Join OpenText as a Principal Artificial Intelligence Developer and lead the design, developing, and deployment of enterprise-scale agentic AI solutions that will transform IT Operations and Service Management.


This is a global role supporting clients/employees in North America and Europe and requires fluency in French & English.

OpenText's commitment to diversity and inclusion surpasses legal requirements, evident in our Equal Employment Opportunity Statement of Policy which promotes a respectful and empowering environment for employees of all backgrounds, culture, national origin, race, color, gender, gender identification, sexual orientation, family status, age, veteran status, disability, religion, or other basis protected by applicable laws.

If you need assistance and/or a reasonable accommodation due to a disability during the application or recruiting process, please contact us at hr@opentext.com. Our proactive approach fosters collaboration, innovation, and personal growth, enriching OpenText's vibrant workplace.

Compensation: At OpenText, we offer a thoughtfully designed benefits package that supports your physical, emotional, and financial wellbeing. As you move through the hiring process, we're happy to provide more details about our compensation programs, including variable and commission compensation opportunities for eligible roles, vacation entitlement, and paid time off.

Salary Range: Depending on the candidate's education, experience, skills, geographical location, and alignment with internal equity and external market, actual salary may vary and be higher or lower than the range posted.

AI Usage Disclosure: As part of our commitment to transparency, we use artificial intelligence (AI) tools to assist in various stages of our recruitment process, including resume screening, candidate matching, interview scheduling, and communications. These tools are designed to improve efficiency, reduce bias, and enhance candidate experience. All decisions regarding hiring are made by qualified human professionals, and we continuously monitor our AI systems to ensure fairness and compliance with applicable regulations.

Il s'agit d'un poste international qui consiste a assister les clients/employes en Amerique du Nord et en Europe et qui necessite une maitrise parfaite du francais et de l'anglais.

L'engagement d'OpenText en faveur de la diversite et de l'inclusion va au-dela des exigences legales, comme en temoigne notre declaration de politique d'egalite des chances en matiere d'emploi, qui promeut un environnement respectueux et stimulant pour les employes de toutes origines, cultures, nationalites, races, couleurs, sexes, identites sexuelles, orientations sexuelles, situations familiales, ages, statuts d'anciens combattants, handicaps, religions ou autres caracteristiques protegees par les lois applicables.

Si vous avez besoin d'aide et/ou d'amenagements raisonnables en raison d'un handicap pendant le processus de candidature ou de recrutement, veuillez nous contacter a l'adresse hr@opentext.com. Notre approche proactive favorise la collaboration, l'innovation et l'epanouissement personnel, enrichissant ainsi le lieu de travail dynamique d'OpenText.

Remuneration: Chez OpenText, nous offrons un ensemble d'avantages sociaux soigneusement concu pour favoriser votre bien-etre physique, emotionnel et financier. Au fur et a mesure que vous avancez dans le processus de recrutement, nous serons heureux de vous fournir plus de details sur nos programmes de remuneration, y compris les possibilites de remuneration variable et a la commission pour les postes eligibles, les droits a conges et les conges payes.

Divulgation relative a l'utilisation de l'IA: dans le cadre de notre engagement en faveur de la transparence, nous utilisons des outils d'intelligence artificielle (IA) pour faciliter differentes etapes de notre processus de recrutement, notamment la preselection des CV, la mise en correspondance des candidats, la planification des entretiens et les communications. Ces outils sont concus pour ameliorer l'efficacite, reduire les prejuges et ameliorer l'experience des candidats. Toutes les decisions relatives a l'embauche sont prises par des professionnels qualifies, et nous surveillons en permanence nos systemes d'IA afin de garantir leur equite et leur conformite avec les reglementations applicables.

Employment Type: OTHER