ZipRecruiter

Log In

1

Automated Reasoning Jobs in Colorado (NOW HIRING)

TIFIN

AI Engineering, TIFIN.ai

Boulder, CO

$200K - $275K/yr

... automated evaluation - solving reliability, explainability, and regulatory challenges at scale. WHAT YOU'LL DO * Design and implement production-grade multi-agent systems and ReAct-style reasoning ...

TIFIN

AI Engineering, TIFIN.ai

Boulder, CO · On-site

$128K - $168K/yr

... automated evaluation - solving reliability, explainability, and regulatory challenges at scale. WHAT YOU'LL DO * Design and implement production-grade multi-agent systems and ReAct-style reasoning ...

Vorto

Backend Engineeer

Denver, CO · On-site

... novel problems. • Superior product reasoning skills • Exceptional written & verbal ... VORTO is a fully automated supply chain software that uses AI to automate demand, procurement ...

Pwc

AI Engineer

Denver, CO · 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 ...

SP+

Customer Service Representative - Driving

Denver, CO · On-site

$16.50 - $22.50/hr

Assists customers in making payment to fully automated revenue control equipment * Helps customers ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

SP+

Customer Service Representative - Driving

Boulder, CO · On-site

$16.75 - $23/hr

Assists customers in making payment to fully automated revenue control equipment * Helps customers ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Colorado

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:

Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Colorado as of August 2026, with employment types broken down into 87% Full Time, 7% Part Time, 1% Temporary, 4% Contract, and 1% Nights. Highlights an 86% Physical, 4% Hybrid, and 10% Remote job distribution.

Cyber Researcher, Attack Emulation (Senior / Principal)

Pentera

Denver, CO • On-site

$180K - $220K/yr

Full-time

Medical, Retirement

Re-posted yesterday

Job description

Description
Location: Remote position. Occasional travel to our office in Golden, Colorado is required.
About Pentera
Pentera is the global leader in Automated Security Validation, helping organizations worldwide safely emulate real-world attacker behavior and uncover their true security gaps across on-prem, cloud, and hybrid environments. With more than 1,200 customers in over 50 countries and a rapidly growing global team, Pentera is shaping how modern enterprises continuously validate their security posture.
About the Role
We are looking for a Cyber Researcher to join our R&D team and play a key role in shaping how automated security validation evolves.
In this role, you will conduct deep, hands-on technical research into attacker techniques and system behaviors across operating systems, identity systems, cloud platforms, and enterprise environments. Your work will be translated into production-grade, automated attack emulations that dynamically adapt and make decisions, closely mirroring how skilled attackers operate in the real world.
This is a highly technical role that combines research, development, and applied AI, with direct impact on a real-world security product.
Responsibilities
  • Conduct in-depth research into attacker techniques across Windows, Linux, identity systems, cloud environments, and external attack surfaces
  • Design and develop advanced attack simulation techniques that challenge modern security controls and defensive architectures
  • Translate research findings into scalable, production-ready capabilities within Pentera's automated validation platform
  • Architect and implement decision-making logic that enables dynamic attack paths and adaptive behavior during automated operations
  • Develop high-quality code that powers complex attack simulations, using appropriate languages and technologies for each use case
  • Collaborate closely with R&D, engineering, and product teams to integrate new research into the platform
  • Mentor team members and contribute to a culture of technical excellence, curiosity, and continuous learning

Requirements
  • 5+ years of hands-on experience in security research, penetration testing, or adversarial security engineering
  • Strong knowledge of Windows internals, operating systems, networking, and enterprise environments
  • 3+ years of experience developing in Python
  • Proven ability to write efficient, stealth-aware, and production-quality security-related code
  • Experience with security research tools and frameworks such as Metasploit, Impacket, Nmap, Burp, or similar
  • Proficiency in reverse engineering and debugging using tools such as IDA, Ghidra, WinDBG, or Radare2
  • Experience working with cloud platforms such as AWS and Azure
  • Ability to apply AI or machine learning concepts to decision-making, automation, or behavior modeling within complex systems
  • Strong collaboration skills, adaptability, and a fast learning mindset

Preferred Qualifications
  • Experience modeling attacker decision-making, attack paths, or adversarial behaviors
  • Familiarity with graph-based analysis, pathfinding, or automated reasoning systems
  • Hands-on experience with security product development and large-scale platforms
  • Exposure to AI-driven automation, agent-based systems, or adaptive workflows
  • Bachelor's degree in Computer Science or a related technical field

Compensation:
The base salary range for this role is $180,000-$220,000, depending on experience, skills, and location. This range reflects the base compensation only. In addition, Pentera offers a comprehensive total rewards package that includes performance-based bonuses, equity opportunities, health and wellness benefits, retirement plans, and other perks designed to support long-term growth and well-being.
We are an equal opportunity employer and we are committed to building a diverse and talented workforce. We do not discriminate on the basis of race, sex, religion, colour, national origin, gender, gender identity, sexual orientation, age, marital status, veteran status, medical condition, disability, or any other class or characteristic protected by applicable law. We welcome candidates from all backgrounds to join us!

Apply