1

Automated Reasoning Jobs in Kentucky (NOW HIRING)

$120 - $180/hr

... automated AI scientist paradigms * Experience with large-scale distributed training or efficient training paradigms * Background in mathematical reasoning, structured decision-making, or program ...

New

$120 - $250/hr

... automated alerting frameworks to ensure low latency and reliable production operations.Build and ... reasoning, establishing guardrails, and mitigating hallucinations to ensure reliable outputs.

New

$131 - $176/hr

The future of Go-To-Market systems at Samsara is agentic, intelligent, and automated -- and you ... reasoning, and safe, auditable operation In this role, you will: * Define and own the technical ...

New

$120 - $180/hr

... sound algorithmic reasoning, and establishing appropriate logging, monitoring, testing, and ... Experience implementing automated unit, integration, regression, and end-to-end testing using tools ...

New

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

$94 - $149/hr

Design and implement sophisticated agentic workflows that use reasoning and tools to execute end-to ... Establish modern DevOps practices (CI/CD pipelines) to oversee the automated deployment, testing ...

New

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

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

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

$120 - $180/hr

Build and maintain dashboards, monitoring systems, and automated reporting to track product ... Apply basic statistical reasoning (e.g., variance, confidence intervals, significance testing) to ...

New

$140 - $210/hr

Genuinely love breaking things and reasoning adversarially. * Have a background in QA automation ... Experience with modern LLM red-teaming automated agents and pipelines. * Familiarity with LangChain ...

New

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

Reasoning Ability to apply common sense understanding to detailed written or oral instructions ... Computer skills with ability to listen and respond while keying into automated system. Ability to ...

Showing results 21-38

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:

AI Research Scientist, New Grad - Agents & Reinforcement Learning Snowflake US-WA-Bellevue

Neura Market

On-site

$120 - $180/hr

Other

Posted yesterday

New


Job description

At Snowflake, we are powering the era of the agentic enterprise. To usher in this new era, we seek AI-native thinkers across every function who are energized by the opportunity to reinvent how they work. You don’t just use tools; you possess an innate curiosity, treating AI as a high-trust collaborator that is core to how you solve problems and accelerate your impact. We look for low-ego individuals who thrive in dynamic and fast-moving environments and move with an experimental mindset — who rapidly test emerging capabilities to discover simpler, more powerful ways to deliver results. At Snowflake, your role isn't just to execute a function, but to help redefine the future of how work gets done.

At Snowflake, we are powering the era of the agentic enterprise. To usher in this new era, we seek AI-native thinkers across every function who are energized by the opportunity to reinvent how they work. You don't just use tools; you possess an innate curiosity, treating AI as a high-trust collaborator that is core to how you solve problems and accelerate your impact. We look for low-ego individuals who thrive in dynamic and fast-moving environments and move with an experimental mindset, rapidly testing emerging capabilities to discover simpler, more powerful ways to deliver results. At Snowflake, your role isn't just to execute a function, but to help redefine the future of how work gets done.

Snowflake is about empowering enterprises to achieve their full potential, and people too. With a culture that's all in on impact, innovation, and collaboration, Snowflake is the sweet spot for building big, moving fast, and taking technology and careers to the next level.

We are hiring an AI Research Scientist (New Grad) for our AI Research team. Our team is pushing the frontier of autonomous, self-improving AI systems — building agents that reason, code, and learn at scale inside the Snowflake Data Cloud. This role sits at the intersection of agentic AI and reinforcement learning, where your research will directly shape how enterprises leverage intelligent automation.

AS AN AI RESEARCH SCIENTIST AT SNOWFLAKE, YOU WILL:
  • Design and develop agentic frameworks powered by recursive self-improvement loops, enabling AI systems that iteratively refine their own capabilities and strategies

  • Build and evaluate auto research agents — systems capable of autonomously formulating hypotheses, executing experiments, and synthesizing findings

  • Develop coding agents that understand, generate, and debug code across complex, multi-step programming tasks

  • Conduct research in reinforcement learning with a focus on RLHF, DPO, and PPO as mechanisms for aligning and improving agentic behaviors

  • Contribute to multi-agent systems where specialized agents collaborate, negotiate, and self-organize to solve enterprise-scale problems

  • Develop and curate training data pipelines — both synthetic and human-annotated — to support novel agentic and RL research domains

  • Publish research findings at top-tier venues such as NeurIPS, ICML, ICLR, and ACL

OUR IDEAL AI RESEARCH SCIENTIST WILL HAVE:
  • PhD in Computer Science, Machine Learning, Artificial Intelligence, or a closely related field (completing or recently completed; or equivalent research experience)

  • Foundational expertise in reinforcement learning algorithms, including RLHF, DPO, PPO, or multi-agent systems

  • Research experience in LLM post-training, fine-tuning, or reasoning model development

  • Demonstrated ability to implement and experiment with agentic architectures — including tool-use, planning, and self-correction loops

  • Proficiency in Python and at least one deep learning framework (PyTorch or JAX strongly preferred)

  • Strong mathematical and analytical foundation — comfortable working at the intersection of theory and empirical research

  • At least one first-author or co-authored publication or preprint in a relevant AI/ML area

BONUS POINTS FOR THE FOLLOWING:
  • Hands-on experience building or evaluating coding agents or auto research agents

  • Familiarity with recursive self-improvement frameworks or automated AI scientist paradigms

  • Experience with large-scale distributed training or efficient training paradigms

  • Background in mathematical reasoning, structured decision-making, or program synthesis

  • Exposure to domain-specific AI applications in healthcare, finance, or enterprise workflows

WHY JOIN OUR AI RESEARCH TEAM AT SNOWFLAKE?

Snowflake's AI Research team operates at the frontier of what autonomous AI systems can do — not as a research lab disconnected from practice, but as a team where your work ships into a platform used by thousands of enterprises. You'll be working alongside researchers and engineers who are building the next generation of agentic infrastructure, with access to large-scale compute, real-world data challenges, and the shortest possible path from research idea to product impact.

For a new grad role, this is a rare opportunity to grow your research career while contributing to systems that actually run in production — shaping how AI agents reason, learn, and improve themselves inside the world's leading data cloud.

Snowflake is growing fast, and we’re scaling our team to help enable and accelerate our growth. We are looking for people who share our values, challenge ordinary thinking, and push the pace of innovation while building a future for themselves and Snowflake.

How do you want to make your impact?

For jobs located in the United States, please visit the job posting on the Snowflake Careers Site for salary and benefits information: careers.snowflake.com

#J-18808-Ljbffr