ZipRecruiter

Log In

1

Automated Reasoning Jobs in Ohio (NOW HIRING)

JumpMind, LLC

Lead, Quality Assurance

Columbus, OH · On-site

Perform manual and automated testing, tracking and communicating progress and results to ... Strong analytical, problem-solving, and logical reasoning abilities * Ability to manage multiple ...

Path Robotics

Production Operator

Columbus, OH · On-site

$16.25 - $19.50/hr

We go beyond traditional methods, combining perception, reasoning, and control to deliver field ... The Production Operator is responsible for operating automated robotic welding cells to produce ...

Path Robotics

Production Operator

Columbus, OH · On-site

$16.25 - $19.50/hr

We go beyond traditional methods, combining perception, reasoning, and control to deliver field ... The Production Operator is responsible for operating automated robotic welding cells to produce ...

Bread Financial

Senior Staff Agentic AI Engineer

Columbus, OH · On-site +1

$102K - $139K/yr

... reasoning quality, hallucination rates, tool latency), and supporting oncall through agentassisted triage, automated rollback/rollforward, and humangated controls. - (15%) * Establish enterprise ...

Fastenal Company

Maintenance

Akron, OH · On-site

$15.25 - $21/hr

... automated equipment, hydraulic and other general warehouse equipment o Responding to requests ... reasoning and decision making skills o Highly motivated, self directed and customer service ...

Fastenal Company

Solutions Support Team

West Chester, OH · On-site

$17 - $23/hr

... our Fastenal Automated Supply Technology (FAST) offerings. This position may offer a flexible ... deductive reasoning and decision making skills o Demonstrate strong organization, planning and ...

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Ohio

Automated Reasoning information

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 the key skills and qualifications needed to thrive as an Automated Reasoning Engineer, and why are they important?

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 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 popular job titles related to Automated Reasoning jobs in Ohio? For Automated Reasoning jobs in Ohio, the most frequently searched job titles are:
What job categories do people searching Automated Reasoning jobs in Ohio look for? The top searched job categories for Automated Reasoning jobs in Ohio are:
What cities in Ohio are hiring for Automated Reasoning jobs? Cities in Ohio with the most Automated Reasoning job openings:
Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Ohio as of July 2026, with employment types broken down into 67% Full Time, and 33% Temporary. Highlights an 100% In-person job distribution.
Lead, Quality Assurance

Lead, Quality Assurance

JumpMind, LLC

Columbus, OH • On-site

Full-time

Posted 3 days ago

Job description

Lead, Quality AssurancePosition Overview

The Lead, Quality Assurance is responsible for driving quality across all phases of the software development lifecycle. This role requires a strong blend of technical expertise, leadership, and communication skills to champion quality standards, lead testing initiatives, and ensure product release readiness. The ideal candidate is a strategic thinker and hands-on practitioner who can balance innovation with process rigor.

Core Responsibilities

Quality Leadership

  • Drive the overall quality discipline across engineering teams
  • Develop and enforce standards and procedures to determine product quality and release readiness
  • Identify, track, and report on key quality KPIs to inform decision-making and continuous improvement
  • Perform and document thorough risk analyses throughout the development process

Testing Strategy & Execution

  • Create robust, comprehensive test plans aligned with product and release goals
  • Perform manual and automated testing, tracking and communicating progress and results to stakeholders
  • Review user interfaces for consistency, usability, and functionality
  • Maintain an effective test case bank by documenting, organizing, and regularly updating test cases

Tooling & Automation

  • Lead the evaluation, implementation, and ongoing improvement of testing tools and technologies
  • Establish and maintain the automated testing framework
  • Develop and maintain automated tests to maximize coverage and efficiency
  • Drive innovation to streamline and modernize overall testing processes
Required Skills & Qualifications
  • Proven experience in software quality assurance, with demonstrated leadership or mentorship experience
  • Strong knowledge of QA methodologies, tools, and best practices
  • Hands-on experience building and maintaining automated testing frameworks
  • Excellent verbal and written communication skills, with the ability to present quality metrics clearly to technical and non-technical audiences
  • Strong analytical, problem-solving, and logical reasoning abilities
  • Ability to manage multiple priorities in a fast-paced development environment