ZipRecruiter

Log In

1

Automated Reasoning Jobs in Virginia (NOW HIRING)

Amazon

PR Specialist, AI & ML, AWS Communications

Arlington, VA · On-site

$61K - $81K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Bringing these two fields together is key to helping customers build trustworthy agents, and AWS is deeply invested in this space through its work in Automated Reasoning. In this role, you will be ...

Noblis

AI Solutions Lead IV

Chantilly, VA · On-site

  • Medical

  • Life

  • Retirement

  • PTO

Architect multi-step, agentic workflows involving retrieval-augmented generation (RAG), tool-calling, multi-agent orchestration, and automated reasoning loops across heterogeneous data sources.

Noblis

AI Solutions Lead IV

Chantilly, VA · On-site

  • Medical

  • Life

  • Retirement

  • PTO

Architect multi-step, agentic workflows involving retrieval-augmented generation (RAG), tool-calling, multi-agent orchestration, and automated reasoning loops across heterogeneous data sources.

AIToolboard

Sr Data Scientist, WWSO Bedrock

Arlington, VA · On-site

$140 - $170/hr

This role specifically will be owning development of best practices around Responsible AI covering such important topics as guardrails, veracity, model evaluations, automated reasoning, fairness ...

next page

Showing results 1-20

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:

What cities in Virginia are hiring for Automated Reasoning jobs?

Cities in Virginia with the most Automated Reasoning job openings:

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

Senior Systems Engineer with Security Clearance

Optimum Governmental Solutions LLC

Arlington, VA • On-site

$120K - $164K/yr

Other

Re-posted 13 days ago

Job description

Key Responsibilities: Create test plans based on top level requirements.
Develop test procedures from test plans. Derive and develop testing methodologies for requirements verification. Develop test method methodology inputs for Technical review (SRR, PDR, CDR, etc.) preparation following government CDRLs/DIDs. Lead development of a Test and Evaluation Master Plan (TEMP) Lead verification/validation testing Design test infrastructure for HAD device Requirements: Bachelor's degree in systems engineering or equivalent. 5+ years experience in systems engineering, program execution, and DOD acquisition process. Excellent communication skills and ability to work in classified environments Current TS//SCI clearance Desired Skills: Familiarity with formal test methods and automated reasoning. Knowledge of government certification testing processes. Experience with high assurance devices Experience with networking cryptologic standards (MACsec and IPsec) Software, FPGA, or hardware experience

Apply