1

Automated Reasoning Jobs in Colorado (NOW HIRING)

Build and maintain automated retraining and drift monitoring for deployed models. * Run staged ... reasoning and build on it without asking you directly. Systems & Skills Required * Bachelor ...

New

Senior Data Scientist

Longmont, CO · On-site

$135K - $150K/yr

Build and maintain automated retraining and drift monitoring for deployed models. * Run staged ... reasoning and build on it without asking you directly. Systems & Skills Required * Bachelor ...

New

Build and maintain automated retraining and drift monitoring for deployed models. * Run staged ... reasoning and build on it without asking you directly. Systems & Skills Required * Bachelor ...

New

Parts Counter Associate

Aurora, CO · On-site

$20 - $35/hr

Finds parts using automated system * Maintains good notes, organized desk for easy and quick access ... Data Entry, telephone, reading/writing, reasoning, organizational, communication & math skills

Showing results 21-40

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

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

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

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

What cities in Colorado are hiring for Automated Reasoning jobs?

Cities in Colorado with the most Automated Reasoning job openings:

Infographic showing various Automated Reasoning job openings in Colorado as of August 2026, with employment types broken down into 85% Full Time, 9% Part Time, 5% Contract, and 1% Nights. Highlights an 87% Physical, 3% Hybrid, and 10% Remote job distribution.

Senior Data Scientist

Longmont, CO

ABC Legal Services
Legal Services • 201 - 500 employees

$135K - $150K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 3 days ago

New


Job description

Senior Data Scientist

On-site in Longmont, Colorado. Monday through Friday, business hours, Mountain Time.

About Docketly

Docketly, a sister company to ABC Legal Services, is a fast-growing legal-tech company based in Longmont, Colorado. For the creditors' rights industry, we make hiring a stand-in attorney easy, fast, and reliable. We pair proprietary software with a nationwide network of attorneys.

Job Overview

You build and run the machine learning and analytics systems behind Docketly's operations. You own production models end to end, from first idea to a live, monitored system on AWS. You build the BI reporting that leadership, operations, and client teams use daily. You support pricing and margin decisions with financial modeling. You work closely with backend engineers on data infrastructure and production issues.

Key Responsibilities

Model ownership and MLOps

  • Own the full lifecycle of production ML models: framing, feature engineering, training, validation, deployment on AWS SageMaker (Model Registry, real-time endpoints), inference infrastructure (for example, AWS Lambda), and ongoing monitoring.
  • Build and maintain automated retraining and drift monitoring for deployed models.
  • Run staged production rollouts with holdout comparisons to prove model impact before full release.
  • Use AI coding tools to speed up analysis, modeling, and MLOps work.

Analytics, pricing, and reporting

  • Own the BI layer leadership relies on for exec reporting on revenue, margin, and volume, from dashboard design through data accuracy.
  • Own pricing and margin analysis for client accounts, including ad hoc investigations for named strategic accounts. Model the financial impact of proposed pricing changes before they go live.
  • Build and maintain rules-based pricing and case-difficulty logic by court and county, alongside statistical and ML approaches.
  • Build and tune large scoring and prioritization frameworks in Metabase, such as weighting, percentile scenarios, and drop-rate analysis, that drive daily operational decisions such as Hearing priority and assignment.
  • Turn ambiguous business questions into clear, well-scoped analyses.

Cross-functional partnership and documentation

  • Partner with engineering on data pipelines (AWS Glue, Lambda, EventBridge). Investigate and help resolve production database performance issues, such as ORM query patterns and indexing, alongside backend engineering.
  • Write down your methods and decisions in Confluence or an equivalent shared space, as you go, so other teams can find your reasoning and build on it without asking you directly.
Systems & Skills

Required

  • Bachelor's degree in a related field, or equivalent practical experience, and 5+ years of experience with applied statistics or machine learning.
  • Applied statistics: probability, hypothesis testing, and model evaluation across classification and regression/quantile models (for example, precision, recall, calibration, quantile coverage, and drift).
  • 5+ years of experience with SQL and a relational database in a professional capacity. Docketly's production database runs on MySQL/Aurora, about 400 tables.
  • Python for data analysis and modeling: pandas, scikit-learn, and a gradient-boosting framework (XGBoost, LightGBM, or CatBoost). Our production model uses CatBoost-based quantile regression.
  • Experience training, deploying, and monitoring models on a cloud ML platform (we use AWS SageMaker), including staged production rollouts (canary or phased release) with holdout comparisons to prove model impact before full release.
  • Metabase or comparable BI tooling.
  • Clear written and verbal communication with non-technical stakeholders.

Preferred

  • AWS Glue, S3, Lambda, EventBridge, CloudFormation.
  • Comfortable using AI coding tools such as Claude Code or GitHub Copilot to move faster on analysis and modeling work.
  • Experience diagnosing production database performance issues, such as query plans, indexing, and ORM-generated query patterns, in a large, high-table-count schema.
  • Software-engineering practices applied to ML code, such as automated testing with pytest, for production pipelines.
Benefits
  • Health, Dental, and Vision Insurance
  • 401(k) with Company Matching
  • Paid Time Off
  • 7 Paid Company Holidays
  • 4 Floating Holidays per Year
  • Life Insurance and AD&D Insurance
  • Long-Term Disability
  • Health Care Reimbursement Flexible Spending Account (FSA)
  • Dependent Care Flexible Spending Account
  • Employee Assistance Program (EAP)
  • Pet Insurance
Schedule & Location

Schedule: Monday-Friday, 8:00 AM-5:00 PM (Mountain Time) in Longmont, CO.

Salary Range: $135,000-$150,000 depending on experience 

Application Closing Date: September 30, 2026, 11:59 PM MST