1

Automated Reasoning Jobs in Utah (NOW HIRING)

Maintenance Mechanic - Day Shift

West Jordan, UT · On-site

$23.25 - $30/hr

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Maintenance Mechanic - Night Shift

West Jordan, UT · On-site

$23.25 - $30/hr

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Maintenance Mechanic - Day Shift

West Jordan, UT · On-site

$23.25 - $30/hr

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Maintenance Mechanic - Day Shift

West Jordan, UT · On-site

$23.25 - $30/hr

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

Troubleshooting equipment and parts failures using reasoning and analysis, and participating in ... Regularly climb ladders, stairs, steps, stools, and multiple levels of stairs inside our automated ...

next page

Showing results 1-20

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 Utah? For Automated Reasoning jobs in Utah, the most frequently searched job titles are:
What cities in Utah are hiring for Automated Reasoning jobs? Cities in Utah with the most Automated Reasoning job openings:
Infographic showing various Automated Reasoning job openings in Utah as of June 2026, with employment types broken down into 75% Full Time, 20% Part Time, 3% Contract, and 2% Nights. Highlights an 77% Physical, 1% Hybrid, and 22% Remote job distribution.
Federal Personnel Assistant (Army experience a plus)

Federal Personnel Assistant (Army experience a plus)

Infinisource Consulting Solutions

Salt Lake City, UT • On-site

Full-time

Posted 8 days ago


Job description

We Are ICS - Your Provider in Innovation, Collaboration, and Solutions!
ICS is a trusted and leading provider of Professional Support Services, Information Technology, Logistics and Warehouse Support, Records Management, Laboratory Support, Instructional Design, Training Support, and much more! We tailor our services to meet the specific needs of our Civilian, Defense, and Private-Industry clients. Our processes are catered to guarantee our customers the confidence that we are continually measuring and improving upon the support we provide and are committed to the highest level of customer satisfaction.
Job Title: Personnel Assistant I
This position performs a variety of general personnel clerical tasks in such areas as employee records, benefits, education, training, employment/staffing, compensation, employee labor relations, and equal employment opportunity/affirmative action. The Personnel Assistant may conduct surveys and update manual and automated personnel records.
01261 PERSONNEL ASSISTANT I
This position performs a variety of tasks including, but not limited to, clerical and secretarial duties. The work is under general supervision of higher-level personnel in preparation of various human resource tasks throughout compensation, benefits, staffing/employment, EEO procedures and policy administration. The Personnel Assistant I is expected to exercise discretion at all times; limited judgment may be necessary at times. This assistant may be required to operate general office equipment such as: typewriter, personal computer, copier, adding machine, and facsimile.
ESSENTIAL DUTIES AND RESPONSIBILITIES:
SUPERVISORY RESPONSIBILITIES: None.
Have a High School Diploma, GED or High School equivalent education level.
Operational knowledge and/or experience processing identification issuance requests and issuing identification badges for building and system access and DoD CAC Card issuance policies and procedures AND Certificates of Completion proving successful completion of all required DEERS/RAPIDS Training detailed in Technical Exhibit 5 6 by the end of the Phase In Period.
Have, at minimum, an initiated National Agency Check with Inquires (NACI) and a favorable completion of Federal Bureau of Investigation (FBI) fingerprint check, or a eDoD-determined equivalent investigation.
Requirements
QUALIFICATIONS:
Must be US citizen and Clearable to get a Federal Clearance
EDUCATION and/or EXPERIENCE: At a minimum, possess a High School Diploma or GED Equivalent. Preferred minimum 2 years administrative military personnel experience. An equivalent combination of education and experience as identified above.
LANGUAGE SKILLS: Must be able to speak, read, write, and understand English. Ability to read, comprehend and explain instructions, letters, memos, emails and correspondence from inside the organization as well as from external sources. Ability to effectively respond, communicate and present information to clients and other employees in the organization.
REASONING ABILITY: Ability to organize work, define and solve problems, establish and manage priorities, collect data, establish facts and draw valid conclusions based on facts. Manager participates in prioritization of work and decision-making on allocation of resources. The incumbent must be able to analyze a situation analytically, evaluate the facts/data and formulate a plan of action.CERTIFICATES,
LICENSES, REGISTRATIONS:
Must possess a valid U.S. state driver's license, applicable for the type and class of vehicle being operated.PHYSICAL DEMANDS: Reasonable accommodation(s) may be made to enable individuals with disabilities to perform the essential duties and functions. While performing the duties of this job, the employee is regularly required to sit and talk or hear. Specific vision abilities required by this job include close vision, peripheral vision, depth perception, and the ability to adjust focus.
WORK ENVIRONMENT:Duties are primarily performed in an office environment; however, travel to off-site projects may involve work outdoors; in warehouses; supply points; motor pools; maintenance facilities; etc. for short periods of time.