1

Automated Reasoning Jobs in Nebraska (NOW HIRING)

Customer Service Representative

Omaha, NE · On-site

$15.25 - $20.75/hr

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

Customer Service Representative

Omaha, NE

$15.25 - $20.75/hr

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

Customer Service Representative

Omaha, NE · On-site

$15.25 - $20.75/hr

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

... in a highly automated chemical facility. In the area of maintenance, Plant Technicians are ... Working knowledge in math, reading comprehension, and mechanical reasoning is required. * Strong ...

... in a highly automated chemical facility. In the area of maintenance, Plant Technicians are ... Working knowledge in math, reading comprehension, and mechanical reasoning is required. * Strong ...

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 Nebraska? For Automated Reasoning jobs in Nebraska, the most frequently searched job titles are:
What job categories do people searching Automated Reasoning jobs in Nebraska look for? The top searched job categories for Automated Reasoning jobs in Nebraska are:
What cities in Nebraska are hiring for Automated Reasoning jobs? Cities in Nebraska with the most Automated Reasoning job openings:
Infographic showing various Automated Reasoning job openings in Nebraska as of May 2026, with employment types broken down into 1% As Needed, 87% Full Time, 7% Part Time, 1% Temporary, and 4% Contract. Highlights an 88% Physical, 3% Hybrid, and 9% Remote job distribution.
Automation Specialist - Waverly, NE

Automation Specialist - Waverly, NE

Matheson Tri-Gas, Inc.

Waverly, NE

Other

Posted 10 hours ago


Matheson rating

8.0

Company rating: 8.0 out of 10

Based on 47 frontline employees who took The Breakroom Quiz

22nd of 74 rated oil and gas companies


Job description

SUMMARY Demonstrates, sells, installs, repairs and provides training for automated cutting and welding equipment by performing the following duties.   ESSENTIAL DUTIES AND RESPONSIBILITIES include the following. Other duties may be assigned.

Provides application, implementation, and programming assistance to all Matheson retail locations and customers regarding major welding and cutting processes via telephone, online networks, mail, and personal assistance. Assists in presenting, demonstrating and training of robotic welding and cutting equipment for Matheson's salesmen and customers. Assists in determining appropriate robotic applications, justifications and layout for customer locations.

Prepares conceptual and schematic drawings. Creates and builds prototype part fixtures. Creates and builds electrical and electronic circuits for various applications.

Installs, assembles, disassembles and moves automation equipment at Matheson's facilities and at customer locations. Prepares automation equipment for demonstrations, performs weld samples, time studies and reach analysis for automation applications requested by salesmen and customers. Assists in engineering and integrating custom automation projects as well as resolving problems that arise from the use of automation products.

Serves as a liaison between Matheson and fixturing/integrating partners. Attends classes or read documentation updates to be knowledgeable of today's technology. Cleans welding and automation labs when needed.

Required Skills:  LANGUAGE SKILLS Ability to read, analyze, and interpret general business periodicals, professional journals, technical procedures, or governmental regulations.  Ability to write reports, business correspondence, and procedure manuals.  Ability to effectively respond to questions from groups of managers, employees, clients, customers, employees, and the general public.   MATHEMATICAL SKILLS Ability to work with mathematical concepts such as probability and statistical inference, and fundamentals of plane and solid geometry and trigonometry.  Ability to apply concepts such as fractions, percentages, ratios, and proportions to practical situations.   REASONING ABILITY Ability to define problems, collect data, establish facts, and draw valid conclusions

Ability to interpret an extensive variety of technical instructions in mathematical or diagram form and deal with several abstract and concrete variables.   CERTIFICATES, LICENSES, REGISTRATIONS Hazardous materials training and certification Valid Driver's License Forklift license Matheson is an Equal Opportunity Employer that complies with the laws and regulations set forth under EEOC.   Qualified applicants will receive consideration for employment without regard to their race, color, Religion, national origin, sex, protected veteran status, or disability EOE AA M/F/VET/Disability  .


What Matheson employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom