1

Automated Reasoning Jobs in Utah (NOW HIRING)

Controls Engineer

Salt Lake City, UT · On-site

$80K - $104K/yr

Design user-friendly HMI systems for operators to interact with the automated workstations ... spatial reasoning, and industrial hardware connections. Altitude AI's Software-for-Hardware ...

Controls Engineer

Salt Lake City, UT · On-site

$80K - $104K/yr

Design user-friendly HMI systems for operators to interact with the automated workstations ... spatial reasoning, and industrial hardware connections. Altitude AI's Software-for-Hardware ...

Controls Technician

Salt Lake City, UT · On-site

$29 - $38.25/hr

Maintain, troubleshoot and install automated equipment which enables the manufacturing of unique ... Reasoning, analytical and problem-solving skills * Ability to interpret drawings both mechanical ...

Senior Staff Agentic AI Engineer

Draper, UT · On-site +1

$99K - $134K/yr

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

... manual and semi-automated methods. Actively review sales pipeline and corresponding deal ... reasoning to evaluate complex agreements and resolve issues independently. Revenue Operations ...

New

AI Engineer

Salt Lake City, UT · On-site

$50K - $112K/yr

... automated evaluation frameworks, including LLM-as-judge pipelines, regression testing, and adversarial benchmarking, to assess reasoning, tool-calling reliability, and output groundedness ...

Staff Engineer DevOps #18893

Roy, UT · On-site

$152K - $229K/yr

... automated tools Develop Software Test Plans and Procedures for team software products Position ... Strong critical thinking and logical reasoning skills with the ability to solve issues ...

Senior Data Scientist

Lehi, UT · On-site +1

$133K - $213K/yr

Develop evaluation frameworks and benchmarks to measure model accuracy, reasoning, reliability, and ... Experience building LLM evaluation frameworks, benchmark suites, or automated quality measurement ...

Senior Data Scientist

Lehi, UT · On-site

$133K - $213K/yr

Develop evaluation frameworks and benchmarks to measure model accuracy, reasoning, reliability, and ... Experience building LLM evaluation frameworks, benchmark suites, or automated quality measurement ...

next page

Showing results 1-20

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 Utah?

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

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

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

Infographic showing various Automated Reasoning job openings in Utah as of August 2026, with employment types broken down into 85% Full Time, 11% Part Time, 3% Contract, and 1% Nights. Highlights an 85% Physical, 4% Hybrid, and 11% Remote job distribution.

Controls Engineer

Salt Lake City, UT • On-site

$80K - $104K/yr

Other

Posted 17 days ago


Job description

Job Description
Job Description

Join the Future of Industrial Automation!

As a Controls Engineer, you'll play a critical role in developing and implementing control systems for our Industrial AI software platform, the Altitude OS. You'll collaborate with a team of seasoned engineers and experts from top companies and institutions such as Waymo, Google, Bain, Princeton, Harvard, Stanford, McGill, BYU, and leading robotics startups.

Responsibilities:

  • Design, program, and troubleshoot PLCs (Programmable Logic Controllers) to ensure seamless operation of automated systems.
  • Develop and optimize ladder logic diagrams to control machinery and processes efficiently.
  • Architect and implement control systems to enable precise and reliable automation in various industrial environments.
  • Design user-friendly HMI systems for operators to interact with the automated workstations effectively.

Requirements:

  • Experience in PLC programming and ladder logic is essential, with a strong understanding of industrial automation systems
  • Proficiency in control system design and implementation, with experience in integrating complex systems.
  • Robotics experience is a plus, but not required, as you'll have the opportunity to work alongside experts in the field.
  • A passion for innovation, teamwork, and advancing your career in industrial automation.

About the Company:

Altitude AI builds Industrial AI for Industrial Automation. Industrial Automation has many qualities that make AI challenging, including reliability requirements, spatial reasoning, and industrial hardware connections. Altitude AI’s Software-for-Hardware platform solves these challenges and unlocks new revenue streams for customers.