ZipRecruiter

Log In

1

Automated Reasoning Jobs in Utah (NOW HIRING)

Entrata

Senior Data Scientist

Lehi, UT · On-site +1

$133K - $213K/yr

Develop evaluation frameworks and benchmarks to measure model accuracy, reasoning, reliability, and ... Experience building LLM evaluation frameworks, benchmark suites, or automated quality measurement ...

Danone

Maintenance Technician - Night Shift

West Jordan, UT · On-site

$35.37 - $37.84/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 ...

Danone

Maintenance Mechanic - Night Shift

West Jordan, UT · On-site

$35.37 - $37.84/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 ...

previous page

Showing results 21-26

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Utah

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

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

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

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

Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Utah as of August 2026, with employment types broken down into 85% Full Time, 11% Part Time, 3% Contract, and 1% Nights. Highlights an 85% Physical, 4% Hybrid, and 11% Remote job distribution.

Senior Data Scientist

Lehi, UT • On-site, Remote

Entrata
Software Development • 1 - 5K employees
Learn more about Entrataexternal

$133K - $213K/yr

Full-time

Medical, Dental, Vision, Retirement, PTO

Re-posted 26 days ago

Entrata rating

7.9

Company rating: 7.9 out of 10

Based on 7 frontline employees who took The Breakroom Quiz

Job description

Since 2003, Entrata has evolved from a visionary, student-led startup into a global leader in AI-driven property management technology. Today, we power the industry's most essential operating system, serving owners and residents worldwide through a comprehensive suite of intelligent leasing, payment, and communication tools powered by cutting-edge AI. With a proven track record of sustained growth and a global team of more than 2,200 employees, we offer the rare combination of established stability and high-velocity innovation. Recognized by the Silicon Slopes Hall of Fame and the Utah Business Fast 50, Entrata fosters a culture of radical transparency and entrepreneurial energy. At Entrata, we create an environment where different perspectives are valued and respected. Those perspectives challenge assumptions, strengthen our decisions, and raise the bar as we reshape the global living experience through AI-powered solutions.

Following the launch of Forge, Entrata's proprietary AI engine, we are looking for a Senior Data Scientist to elevate the performance and intelligence of our core models. You will lead experimentation around model adaptation, post-training, and error analysis, shaping how Forge processes complex operational workflows to deliver high-precision outcomes for property managers and residents worldwide.

Responsibilities:
  • Fine-tune and evaluate foundation models for Entrata-specific use cases using supervised fine-tuning and other post-training methods.
  • Design and curate high-quality training datasets, including instruction data, preference data, and synthetic data.
  • Develop evaluation frameworks and benchmarks to measure model accuracy, reasoning, reliability, and task performance.
  • Conduct experiments to determine which models, datasets, prompts, and training approaches perform best for specific use cases.
  • Perform model error analysis and identify opportunities to improve model behavior and output quality.
  • Partner with machine learning engineers to move successful experiments into production.
  • Develop approaches for measuring and improving model safety, consistency, and enterprise readiness.
  • Translate business and product problems into measurable machine learning objectives.
Minimum Qualifications:
  • 5+ years of experience in data science, machine learning, applied AI, or a related field.
  • Hands-on experience working with large language models, including fine-tuning, evaluation, or model adaptation.
  • Strong proficiency in Python and common machine learning frameworks.
  • Experience designing experiments, analyzing model performance, and working with large datasets.
  • Strong understanding of supervised learning, model evaluation, and statistical analysis.
  • Experience building or evaluating machine learning systems in production environments.
  • Ability to communicate technical findings clearly to engineering, product, and business stakeholders.
Preferred Qualifications:
  • Experience with supervised fine-tuning, preference optimization, or other LLM post-training techniques.
  • Experience creating synthetic training data or model-generated datasets.
  • Experience building LLM evaluation frameworks, benchmark suites, or automated quality measurement systems.
  • Familiarity with agentic AI systems, tool use, and retrieval-based applications.
  • Experience working with enterprise, financial, legal, operational, or other domain-specific AI applications.
  • Master's degree in Computer Science, Machine Learning, Statistics, Mathematics, or a related quantitative field, or equivalent practical experience.
$133,100 - $213,200 a year
This band covers the full salary range for the role. Your offer within this range will depend on factors like experience, skills, and internal equity.
 
Level - P4
Benefits:
Flexible and transparent culture with remote and hybrid work options, generous vacation time, and frequent company recharge days for work-life balance.

Comprehensive medical, dental, and vision coverage, including fertility benefits, available for eligible employees and their families.

HSA/FSA options and employer-paid disability benefits provided for eligible employees.

Access to 401(k) or similar retirement plans with employer matching for eligible employees, ensuring long-term financial security.

Wellness initiatives promoting physical and mental well-being, access to an onsite gym at HQ, gym memberships, mental health resources, wellness challenges, and employee assistance programs.

Entrata Cares programs offers opportunities for volunteerism, charity events, and giving back to our community.

Exclusive Previ cell phone plan and discounts on services or local business partnerships for additional employee benefits.

Bi-annual swag drops for employees

Currently, Entrata hires in Arizona, Idaho, Utah, Wyoming, Texas, North Carolina, Florida, Georgia, South Carolina, Ohio, Pennsylvania, and Illinois for Exempt roles and Arizona, Idaho, Utah, Wyoming, Texas, North Carolina, and Florida for Non-Exempt roles. 

Entrata is dedicated to creating a workplace where a diverse and inclusive team thrives in an environment free from discrimination. We provide equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, protected veteran status, or any other applicable characteristics protected by law.

It's a great place to work! Will you join us?

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.
apply for this job

What Entrata employees say

Pay

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply