$70 - $100/hr
Overview Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group ... Critical Thinking -- Using logic and reasoning to identify the strengths and weaknesses of ...
$70 - $100/hr
Overview Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group ... Critical Thinking -- Using logic and reasoning to identify the strengths and weaknesses of ...
$70 - $100/hr
Overview Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group ... Critical Thinking -- Using logic and reasoning to identify the strengths and weaknesses of ...
$170 - $260/hr
... automated by default Evolve build-system tooling (e.g., Bazel rules and macros) to meet growing ... reasoning about supporting or dependent technologies, and communicating effectively with ...
$170 - $260/hr
... automated by default Evolve build-system tooling (e.g., Bazel rules and macros) to meet growing ... reasoning about supporting or dependent technologies, and communicating effectively with ...
Louisville, KY · On-site
$15.50 - $19.25/hr
Webb) is a subsidiary of Daifuku North America a group company of Daifuku in Japan - the largest ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
Louisville, KY · On-site
$15.50 - $19.25/hr
Webb) is a subsidiary of Daifuku North America a group company of Daifuku in Japan - the largest ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
$15.50 - $19.25/hr
Webb) is a subsidiary of Daifuku North America a group company of Daifuku in Japan - the largest ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
$15.50 - $19.25/hr
Webb) is a subsidiary of Daifuku North America a group company of Daifuku in Japan - the largest ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
$106 - $183/hr
That belief was championed by a group of community activists we still honor today as the "12 Angry ... Design, build, and maintain enterprise-grade AI governance platforms, including automated pipelines ...
$106 - $183/hr
That belief was championed by a group of community activists we still honor today as the "12 Angry ... Design, build, and maintain enterprise-grade AI governance platforms, including automated pipelines ...
$122 - $190/hr
About IRIS IRIS Software Group is one of the UK's largest privately held software companies ... Drive engineering quality - automated testing, code review standards, CI/CD and observability - and ...
$122 - $190/hr
About IRIS IRIS Software Group is one of the UK's largest privately held software companies ... Drive engineering quality - automated testing, code review standards, CI/CD and observability - and ...
$150 - $190/hr
Chainbridge Innovation Group Employment Type: Full Time Location: Fairfax, VA Compensation: $150 ... Foster a DevOps culture -- continuous integration, automated testing, and reliable, repeatable ...
$150 - $190/hr
Chainbridge Innovation Group Employment Type: Full Time Location: Fairfax, VA Compensation: $150 ... Foster a DevOps culture -- continuous integration, automated testing, and reliable, repeatable ...
Louisville, KY · On-site
Overview Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
Louisville, KY · On-site
Overview Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
Louisville, KY · On-site
Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group company of ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
Louisville, KY · On-site
Daifuku Airport America Corporation is a subsidiary of Daifuku North America a group company of ... We are known as experts in engineering, manufacturing, and servicing innovative automated materials ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
| Aspect | Automated Reasoning Group | Formal Methods Engineer |
|---|---|---|
| Required Credentials | Computer Science degree, knowledge of logic, algorithms | Computer Science or Software Engineering degree, expertise in formal verification |
| Work Environment | Research labs, academia, industry R&D teams | Software development teams, safety-critical systems, industry |
| Employer & Industry Usage | Tech companies, research institutions, government agencies | Automotive, aerospace, hardware design, safety-critical industries |
| Common Search & Comparison Intent | Understanding roles in AI and logic research | Applying formal verification in engineering projects |
Both roles focus on logic and verification but differ in scope. The Automated Reasoning Group typically conducts research on algorithms and logic systems, while Formal Methods Engineers apply formal verification techniques directly to software and hardware development to ensure safety and correctness.
For Automated Reasoning Group jobs in Kentucky, the most frequently searched job titles are:
The top searched job categories for Automated Reasoning Group jobs in Kentucky are:
Cities in Kentucky with the most Automated Reasoning Group job openings:

$70 - $100/hr
Other
Medical, Dental, Vision, Retirement, PTO
Posted 4 days ago
Daifuku Airport America Corporation 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 an experienced Product Quality Engineer.
Position Summary/ Primary Purpose
The Product Quality Engineer reports to the Executive Manager, Smart Handling. This role focuses on total process and production quality for Daifuku’s Smart Handling products. This role creates quality process
This role creates, directs, and participates in the quality process(es) associated with the design, manufacture, and deployment of semi-complex Automatic Guided Vehicle (AGV) products and systems with a multidisciplinary team including engineering, project management, sales, and manufacturing disciplines.
This position coordinates with management, supervisors, project management, sales, manufacturing, and customers to produce, maintain, analyze and verify processes associated with creation of a quality Smart Handling product. This position also participates in improvement recommendations related to productivity, quality, cost reduction, and customer satisfaction.
ResponsibilitiesMajor Areas of Responsibility
Knowledge
Skills & Abilities
Education & Experience
Demonstrated Physical Abilities
Travel
Daifuku Airport America Corporation is an Affimative 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.
Job Posting Min Salary Job Posting Max Salary