ZipRecruiter

Log In

1

Automated Reasoning Jobs in Virginia (NOW HIRING)

Air

Senior AI Engineer

Arlington, VA · On-site +1

$120K - $165K/yr

You should be comfortable reasoning about how agents use context, tools, models, memory, and ... Build automated evaluation frameworks to measure agent quality, reliability, task completion, and ...

Air

Senior AI Engineer

Arlington, VA · On-site

$120K - $165K/yr

You should be comfortable reasoning about how agents use context, tools, models, memory, and ... Build automated evaluation frameworks to measure agent quality, reliability, task completion, and ...

PTR Global

Senior Full Stack Developer

Mclean, VA · On-site

$85 - $90/hr

Build automated reporting pipelines aggregating test and service data across microservices ... Hands-on experience building LLM-powered agents with multi-step reasoning and guardrails.

Rohirrim, Inc.

Senior AI Engineer

Mclean, VA · On-site

$107K - $147K/yr

You will design, develop, and deploy sophisticated multi-step AI agents capable of reasoning over ... high‑stakes decision points within automated workflows. * Design and optimize ...

Redhorse Corp.

Full Stack Developer

Arlington, VA · On-site

$160K - $190K/yr

Design and implement autonomous AI agents capable of planning, reasoning, and executing multi-step ... Participate in CI/CD pipeline development and automated testing. * Implement secure coding ...

previous page

Showing results 41-60

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Virginia

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

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

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

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

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

Senior AI Engineer

Arlington, VA • On-site, Remote

Air
See more jobs at Airexternal

$120K - $165K/yr

Full-time

Posted 4 days ago

Job description

Company Description
Air is the leader in Enterprise Readiness. Our mission is to establish readiness as a real-time condition that is continuously achieved. Today, a dangerous Readiness Gap exists between what the front line needs and what is delivered. Our AI-native platform, Air Enterprise Readiness, aligns development, production, delivery, and sustainment into one coordinated execution system for government agencies and industrial suppliers. By revealing true capacity, exposing real constraints, coordinating resources, and executing at the speed of operational demands, the front line gets what it needs to succeed.
Job Description
We are seeking an experienced Senior AI Engineer to join our Agentic AI team as we scale our AI capabilities across all levels of the U.S. government.
Over the past year, we have seen rapid adoption of our AI agent, Ace. We are building the systems and infrastructure required to move agentic AI beyond demos and prototypes into reliable, production-grade software operating against complex, real-world problems.
This role sits at the intersection of applied AI and systems engineering. You will design and build agent architectures, model integrations, tools, evaluation systems, and infrastructure that enable increasingly capable AI systems. You will work across the AI stack - from experimentation and model behavior to production services and distributed infrastructure.
In order to do this job well: we are looking for engineers who understand that building great AI products requires more than calling a model API. You should be comfortable reasoning about how agents use context, tools, models, memory, and compute, and turning those ideas into reliable production systems.
This role is a full-time position based in our Pittsburgh, PA office or open to Remote Opportunities.
This role may require up to 25% travel, including periodic travel to our Pittsburgh, PA and Arlington, VA offices for team collaboration, planning activities, and in-person meetings.
Scope of Responsibilities
  • Design, build, and improve production agentic AI systems used to solve complex real-world problems.
  • Develop agent architectures for reasoning, planning, tool use, context management, memory, and multi-step task execution.
  • Build tools and capabilities that allow agents to securely interact with data, APIs, code, and external systems.
  • Develop model and inference infrastructure supporting multiple commercial and open-weight language models.
  • Evaluate new models, inference techniques, and emerging AI capabilities and determine how they can improve our production systems.
  • Build automated evaluation frameworks to measure agent quality, reliability, task completion, and regressions.
  • Develop datasets, benchmarks, and evaluation methodologies for complex agentic workflows.
  • Improve agent performance through prompt and context engineering, model selection, tool design, inference strategies, and architectural improvements.
  • Build scalable APIs, services, and infrastructure supporting agent execution and AI-powered product experiences.
  • Design systems for asynchronous and long-running agent workflows.
  • Build infrastructure for safe and reliable execution of agent-generated code and other computational workloads.
  • Improve system observability through structured logging, metrics, distributed tracing, dashboards, and automated alerting.
  • Investigate failures across models, agents, application code, and distributed infrastructure and turn those findings into systematic improvements.
  • Optimize model and agent systems for latency, throughput, reliability, and infrastructure cost.
  • Translate new AI research and emerging techniques into practical improvements to production systems.
  • Work closely with product, platform, security, and domain teams to bring new AI capabilities from experimentation to production.

Qualifications
  • U.S. Citizenship is required

Required Skills:
  • 5+ years of experience building production software, AI/ML systems, distributed systems, or similar technical systems.
  • Deep experience designing, building, and operating production AI agents or agent platforms.
  • Experience developing core agent infrastructure, including agent runtimes, tool execution, context management, memory, orchestration, or related platform capabilities.
  • Strong understanding of state-of-the-art agent architectures and the engineering tradeoffs involved in building reliable, production-grade agentic systems.
  • Experience designing agents that use tools, reason across multi-step tasks, interact with external systems, and operate over long-running or complex workflows.
  • Experience building evaluation systems for agents, including task-level evaluations, behavioral evaluations, regression testing, and production quality measurement.
  • Strong understanding of modern LLM systems, including model inference, context engineering, structured outputs, tool calling, retrieval, model selection, and techniques for improving agent performance.
  • Demonstrated ability to evaluate emerging models, research, and agent techniques and translate promising approaches into production systems.
  • Strong programming experience in Python and experience building production-quality software.
  • Experience designing scalable APIs, services, asynchronous systems, and event-driven architectures.
  • Experience operating production services using Kubernetes and cloud platforms such as AWS, GCP, or Azure.
  • Strong understanding of distributed systems, containers, service orchestration, networking, storage, and scalable architectures.
  • Comfortable debugging complex failures spanning model behavior, agent execution, application code, and production infrastructure.
  • Able to move quickly between research and engineering: prototype an idea, evaluate it rigorously, understand why it works or fails, and turn successful approaches into reliable production systems.
  • Comfortable working at the frontier of a rapidly evolving field where established patterns may not yet exist.

Desired Skills:
  • Current possession of a U.S. security clearance, or the ability to obtain one with our sponsorship
  • Experience in or exposure to the nuances of a startup or other entrepreneurial environment
  • Experience building secure code execution environments or sandboxes for AI agents.
  • Experience with multi-agent architectures, agent-to-agent communication, or distributed agent execution.
  • Experience with fine-tuning, post-training, reinforcement learning, or synthetic data generation.
  • Experience building AI observability, tracing, and debugging infrastructure.
  • Experience optimizing inference latency, throughput, GPU utilization, or model-serving costs.
  • Experience with AI security, adversarial testing, or securing agentic systems.
  • Experience working in government, defense, or other mission-critical environments.

We firmly believe that past performance is the best indicator of future performance. If you thrive while building solutions to complex problems, are a self-starter, and are passionate about making an impact in global security, we're eager to hear from you.
Air is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability and protected veterans status or any other characteristic protected by law.

Apply