ZipRecruiter

Log In

1

Automated Reasoning Jobs in Minnesota (NOW HIRING)

Riviana Foods

Maintenance Technician

Clearbrook, MN · On-site

Experience * 2 years' work experience in an automated industrial manufacturing facility is ... Basic industrial math applications, principles and reasoning to solve problems * Basic principles ...

Riviana Foods

Maintenance Technician

Clearbrook, MN · On-site

Experience * 2 years' work experience in an automated industrial manufacturing facility is ... Basic industrial math applications, principles and reasoning to solve problems * Basic principles ...

Judge Group, Inc.

Cloud Data Architect

Minneapolis, MN · On-site

$170K - $175K/yr

Deep understanding of MCPs, ReAct, Tree of Thought, and AutoGPT-style reasoning. Hands-on with ... receive automated text messages and calls from the Judge Group, Inc. and its affiliates ...

Fastenal Company

Solutions Support Team

Winona, MN · On-site

$40K - $55K/yr

... 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 ...

Kipsu

Senior Quality Assurance Analyst

Minneapolis, MN

$90K - $110K/yr

Build and maintain automated end-to-end tests, regularly contributing meaningful enhancements to ... reasoning and impact analysis. * Dig into logs, network traces, and backend data to independently ...

MiTek Corporation

Welder - Hiring Now

Montgomery, MN · On-site

$19.50 - $26/hr

Reasoning Ability: Ability to solve practical problems and deal with a variety of concrete ... Today, MiTek delivers software, services, engineered products, and automated solutions that enable ...

Kop-Coat, Inc.

Batchmaker - 2nd Shift

Brooklyn Park, MN

$18.75 - $23/hr

... using automated paint-mixing equipment. * Set up and operate machines to paint or coat products ... Critical Thinking - Using logic and reasoning to identify the strengths and weaknesses of ...

MiTek, Inc.

Welder - 1st Shift - Full-Time-

Montgomery, MN · On-site

$21.50 - $28.50/hr

Reasoning Ability: Ability to solve practical problems and deal with a variety of concrete ... Today, MiTek delivers software, services, engineered products, and automated solutions that enable ...

MiTek USA Inc

Welder - 1st Shift - Full-Time-

Montgomery, MN · On-site

$19.50 - $26/hr

Reasoning Ability: Ability to solve practical problems and deal with a variety of concrete ... Today, MiTek delivers software, services, engineered products, and automated solutions that enable ...

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Minnesota

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 Minnesota? For Automated Reasoning jobs in Minnesota, the most frequently searched job titles are:
What job categories do people searching Automated Reasoning jobs in Minnesota look for? The top searched job categories for Automated Reasoning jobs in Minnesota are:
Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Minnesota as of July 2026, with employment types broken down into 100% Full Time. Highlights an 100% In-person job distribution.
Maintenance Technician

Maintenance Technician

Riviana Foods

Clearbrook, MN • On-site

Full-time

Posted 13 hours ago

Job description

Maintenance Technicians are responsible for general facility and equipment maintenance in a food manufacturing environment. Primary responsibility is in troubleshooting/resolving immediate issues, line/factory continuous operations, as well as, performing preventive and repair maintenance to meet operational requirements.
Experience
  • 2 years' work experience in an automated industrial manufacturing facility is preferred (ideally, doing maintenance related work with packaging and/or processing equipment).
  • Thorough knowledge of:
    • Use and repair of motor controls, sensors, and gearboxes
    • Electrical/mechanical troubleshooting
    • Basic principles of industrial maintenance
    • Use and repair of mechanical & conveying systems
  • Working knowledge of:
    • Industrial safety, machine safety and safeguarding techniques
    • Basic industrial math applications, principles and reasoning to solve problems
    • Basic principles of combustion
Education:
  • High school or GED: (High school courses in math, mechanical drawing and/or shop)
  • 2 years Technical or vocational training preferred
[Company Details]

Apply