ZipRecruiter

Log In

1

Automated Reasoning Jobs in Kentucky (NOW HIRING)

Daifuku

APUS Assembler

Louisville, KY · On-site

$15.50 - $19.25/hr

We are known as experts in engineering, manufacturing, and servicing innovative automated materials ... Critical Thinking - Using logic and reasoning to identify the strengths and weaknesses of ...

Daifuku

Assembler

Louisville, KY

$15.50 - $19.25/hr

We are known as experts in engineering, manufacturing, and servicing innovative automated materials ... Critical Thinking -- Using logic and reasoning to identify the strengths and weaknesses of ...

SCAN Health Plan

$106 - $183/hr

Design, build, and maintain enterprise-grade AI governance platforms, including automated pipelines ... Design and enforce deterministic guardrails for autonomous AI agents, ensuring agent reasoning ...

Jobzhr

$160 - $210/hr

... step reasoning, dynamic memory allocation, long-context evaluation, and high-fidelity tool ... Develop and scale automated data curation pipelines to extract, filter, and structure user feedback ...

Pwc

AI Engineer

Louisville, KY · 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 ...

Daifuku

APUS Material Coordinator

Louisville, KY · On-site

We are known as experts in engineering, manufacturing, and servicing innovative automated materials ... Using logic and reasoning to identify the strengths and weaknesses of alternative solutions ...

Far Coder

$115 - $145/hr

... reasoning pipelines.* Develop and productionize AI/ML services in Python, including work with ... Design and execute QA/QC processes for both software and data -- automated testing, validation ...

Daifuku

Material Coordinator

Louisville, KY · On-site

We are known as experts in engineering, manufacturing, and servicing innovative automated materials ... Using logic and reasoning to identify the strengths and weaknesses of alternative solutions ...

Bosch Group

Senior Controls Engineer

Florence, KY

$96K - $127K/yr

Design, develop, and optimize control concepts for automated equipment and systems. * Troubleshoot ... College level technical math skills required Reasoning Ability: * Individual must have ability to ...

Bosch Group

Senior Controls Engineer

Florence, KY · On-site

$96K - $127K/yr

Design, develop, and optimize control concepts for automated equipment and systems. * Troubleshoot ... College level technical math skills required Reasoning Ability: * Individual must have ability to ...

Career Site

Maintenance Team Member

London, KY

$29.25/hr

Installs, programs, or repairs automated machinery and equipment. Sets up and operates machine ... REASONING ABILITY Ability to define problems, collect data, establish facts, and draw valid ...

Aisin Corporation

Maintenance Team Member

London, KY · On-site

$29.25/hr

Installs, programs, or repairs automated machinery and equipment. Sets up and operates machine ... REASONING ABILITY Ability to define problems, collect data, establish facts, and draw valid ...

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Kentucky

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

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

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

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

What cities in Kentucky are hiring for Automated Reasoning jobs?

Cities in Kentucky with the most Automated Reasoning job openings:

Automated Reasoning jobs near you

APUS Assembler

Daifuku

Louisville, KY • On-site

$15.50 - $19.25/hr

Other

Medical, Dental, Vision, Retirement, PTO

Posted 23 days ago

Daifuku rating

7.4

Company rating: 7.4 out of 10

Based on 33 frontline employees who took The Breakroom Quiz

287th of 490 rated machine equipment manufacturers

Job description

Overview
Daifuku Airport America Corporation (formally known as Jervis B. Webb) is a subsidiary of Daifuku North America a group company of Daifuku in Japan - the largest material handling company in the world. Our advanced systems move everything from car bodies at auto plants to luggage at airports to packaged goods at warehouses. We are known as experts in engineering, manufacturing, and servicing innovative automated materials handling systems including conveyors, automatic guided vehicles, automated storage & retrieval systems, and integrated controls.
The company is currently seeking a Assembler.
Responsibilities
Position Summary/ Primary Purpose
Reporting to the Assembly Manager, the Assembly Technician (Laborer) will assemble conveyors/ carousel components according to specific drawings, Unit Build Instructions (UBI), and layout drawings in accordance with the customer/company specifications.
Major Areas of Responsibility
  • Assemble conveyors/ carousel components according to specific drawings, Unit Build Instructions (UBI), and layout drawings
  • Test conveyor motors and track conveyor belting on queue conveyors
  • Palletize/crate conveyors & carousel components in a manner applicable to each job
  • Assist in the check-in of incoming shipments/shipping of outgoing shipments as required in the shop
  • Keep shop in clean and proper order

Basic Broad Knowledge
  • English Language - Knowledge of the structure and content of the English language including the meaning and spelling of words, rules of composition, and grammar.
  • Production and Processing - Knowledge of raw materials, production processes, quality control, costs, and other techniques for maximizing the effective manufacture and distribution of goods.

Qualifications
Basic Skills & Abilities
  • Time Management - Managing one's own time and the time of others.
  • Critical Thinking - Using logic and reasoning to identify the strengths and weaknesses of alternative solutions, conclusions or approaches to problems.
  • Judgment and Decision Making - Considering the relative costs and benefits of potential actions to choose the most appropriate one.
  • Monitoring - Monitoring/Assessing performance of you, other individuals, or organizations to make improvements or take corrective action.
  • Verbal and Written Expression and Recognition - The ability to listen to, understand and communicate information and ideas presented through spoken or written words and sentences.
  • Information Ordering - The ability to arrange things or actions in a certain order or pattern according to a specific rule or set of rules (e.g., patterns of numbers, letters, words, pictures, mathematical operations).

Education & Experience
  • High School or equivalent experience

Daifuku Airport America Corporation is an Affirmative Action/Equal Opportunity Employer/Veterans/Disabled, and federal sub/contractor. All qualified applicants will receive consideration for employment without regard to their race, color, religion, ancestry, national origin, sex, sexual orientation, gender identity, age, disability, protected veteran status, marital status or medical condition. If you'd like to view a copy of the company's affirmative action plan or policy statement, please call 248-553-1000.
Daifuku Airport America Corporation offers an excellent compensation package including great benefits such as excellent medical, vision, and dental insurance, paid vacation time, paid sick time, and paid holidays, 401K, Flexible Spending Programs, and more.
At this time our company only receives applications online. If you need assistance applying online to this position, please call 248-553-1000 and leave a message and your call will be returned.

What Daifuku employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply