... reasoning, guardrails). Experience with prompting patterns, structured outputs (JSON schemas ... Automated requirements review agents Experience implementing automated checks that validate: o ...
... reasoning, guardrails). Experience with prompting patterns, structured outputs (JSON schemas ... Automated requirements review agents Experience implementing automated checks that validate: o ...
Sr. Cyber Engineer (AI)
Chantilly, VA · On-site
Responsibilities : • Lead research and development of automated systems for reverse engineering ... e.g., code reasoning, decompilation assistance, exploit surface mapping). • Document ...
Sr. Cyber Engineer (AI)
Chantilly, VA · On-site
Responsibilities : • Lead research and development of automated systems for reverse engineering ... e.g., code reasoning, decompilation assistance, exploit surface mapping). • Document ...
Develops the conceptual models, curated enterprise context, AI reasoning capability, methodologies ... Accelerate adoption of automated testing and test coverage by enforcing a Test-Driven Development ...
Develops the conceptual models, curated enterprise context, AI reasoning capability, methodologies ... Accelerate adoption of automated testing and test coverage by enforcing a Test-Driven Development ...
Develops the conceptual models, curated enterprise context, AI reasoning capability, methodologies ... Accelerate adoption of automated testing and test coverage by enforcing a Test-Driven Development ...
Develops the conceptual models, curated enterprise context, AI reasoning capability, methodologies ... Accelerate adoption of automated testing and test coverage by enforcing a Test-Driven Development ...
Develops the conceptual models, curated enterprise context, AI reasoning capability, methodologies ... Accelerate adoption of automated testing and test coverage by enforcing a Test-Driven Development ...
Develops the conceptual models, curated enterprise context, AI reasoning capability, methodologies ... Accelerate adoption of automated testing and test coverage by enforcing a Test-Driven Development ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
PPS Technician
Toano, VA · On-site
$25 - $35/hr
These machines are unique, automated, and tightly calibrated, and they require techs with real ... Strong mechanical reasoning and comfort working with tools, fixtures, and precision components Nice ...
Quick apply
PPS Technician
Toano, VA · On-site
$25 - $35/hr
These machines are unique, automated, and tightly calibrated, and they require techs with real ... Strong mechanical reasoning and comfort working with tools, fixtures, and precision components Nice ...
PPS Technician
Toano, VA · On-site
$25 - $35/hr
These machines are unique, automated, and tightly calibrated, and they require techs with real ... Strong mechanical reasoning and comfort working with tools, fixtures, and precision components Nice ...
PPS Technician
Toano, VA · On-site
$25 - $35/hr
These machines are unique, automated, and tightly calibrated, and they require techs with real ... Strong mechanical reasoning and comfort working with tools, fixtures, and precision components Nice ...
GENAI DEVELOPER
Mclean, VA · On-site
Build automated reporting that aggregates test + service data across multiple * microservices, such ... Hands-on experience building LLM-powered agents (tool-using, multi-step reasoning, guardrails)
GENAI DEVELOPER
Mclean, VA · On-site
Build automated reporting that aggregates test + service data across multiple * microservices, such ... Hands-on experience building LLM-powered agents (tool-using, multi-step reasoning, guardrails)
... automated systems. * Analyze system interface problems, data definitions and user interface design issues to include a variety of detailed systems factors; input/output requirements, information flow ...
Quick apply
... automated systems. * Analyze system interface problems, data definitions and user interface design issues to include a variety of detailed systems factors; input/output requirements, information flow ...
Software Engineer, Agentic Modeling & Simulation (Systems Engineer, Sr)
Chantilly, VA · On-site
$126K - $166K/yr
... reasoning structures using graph databases. * Ensure reliability and observability -- Implement logging, metrics, tracing, error handling, and automated testing. * Collaborate across engineering ...
Software Engineer, Agentic Modeling & Simulation (Systems Engineer, Sr)
Chantilly, VA · On-site
$126K - $166K/yr
... reasoning structures using graph databases. * Ensure reliability and observability -- Implement logging, metrics, tracing, error handling, and automated testing. * Collaborate across engineering ...
... automated systems. * Analyze system interface problems, data definitions and user interface design issues to include a variety of detailed systems factors; input/output requirements, information flow ...
... automated systems. * Analyze system interface problems, data definitions and user interface design issues to include a variety of detailed systems factors; input/output requirements, information flow ...
Sr. Cyber Engineer (AI)
Chantilly, VA · On-site
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Sr. Cyber Engineer (AI)
Chantilly, VA · On-site
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Software Engineer, Agentic Modeling & Simulation (Systems Engineer, Sr)
Chantilly, VA · On-site
$93K/yr
... reasoning structures using graph databases. * Ensure reliability and observability - Implement logging, metrics, tracing, error handling, and automated testing. * Collaborate across engineering ...
Software Engineer, Agentic Modeling & Simulation (Systems Engineer, Sr)
Chantilly, VA · On-site
$93K/yr
... reasoning structures using graph databases. * Ensure reliability and observability - Implement logging, metrics, tracing, error handling, and automated testing. * Collaborate across engineering ...
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Quick apply
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Software Engineer, Agentic Modeling & Simulation (Systems Engineer, Sr)
Chantilly, VA · On-site
$93K/yr
... reasoning structures using graph databases. * Ensure reliability and observability - Implement logging, metrics, tracing, error handling, and automated testing. * Collaborate across engineering ...
Software Engineer, Agentic Modeling & Simulation (Systems Engineer, Sr)
Chantilly, VA · On-site
$93K/yr
... reasoning structures using graph databases. * Ensure reliability and observability - Implement logging, metrics, tracing, error handling, and automated testing. * Collaborate across engineering ...
Sr. Cyber Engineer (AI)
Chantilly, VA · On-site
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
Sr. Cyber Engineer (AI)
Chantilly, VA · On-site
Lead research and development of automated systems for reverse engineering, including static ... Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation ...
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:
Other
Posted 25 days ago
Job description
Job Title: Developer-Full Stack Specialist with Agentic AI
Location: McLean, VA
Must Have Qualifications: Must have 5+ years of experience and a strong AI development
background. Must have hands on experience building agentic workflows, automating testing using
AI, and working with tools such as GitHub, Copilot, and Claude.
Required Technical Skills (must-have)
GenAI / LLM + agentic development
Hands-on experience building LLM-powered agents (tool-using, multi-step reasoning,
guardrails).
Experience with prompting patterns, structured outputs (JSON schemas), evaluation, and
reducing hallucinations.
Ability to design agent workflows for:
o Test generation/augmentation
o Requirements review and completeness validation
o Report generation and summarization
GitHub platform + GHCP (Copilot) for engineering workflows
Strong proficiency with GitHub Copilot in day-to-day development.
Deep experience with GitHub platform capabilities:
o GitHub Actions (CI/CD pipelines, reusable workflows, composite actions)
o PR checks, branch protections, CODEOWNERS, templates
o Automation via GitHub APIs/webhooks (as needed)
Test automation engineering (framework expertise)
Advanced experience designing and implementing automation with:
o Karate (API testing, contract-like checks, data-driven testing, mocks)
o Playwright (UI automation, selectors strategy, parallelization, trace/video
artifacts)
Strong understanding of test design and coverage:
o Happy path scenarios
o Negative/validation scenarios
o Edge/boundary scenarios
o Data setup/teardown strategies and test isolation
Cross-service reporting and data aggregation
Proven ability to aggregate and normalize results from multiple microservices and multiple
pipelines.
Experience producing actionable automated reports (trend analysis, failure clustering,
service correlation).
Automated requirements review agents
Experience implementing automated checks that validate:
o Acceptance criteria completeness
o Required test data and environment dependencies
o Non-functional requirements (performance, security, observability) when
applicable
Deliverables / What success looks like (for the posting)
A reusable agentic testing automation kit adopted by multiple teams.
Published coverage standards + templates and onboarding documentation.
A working GenAI-assisted reporting pipeline aggregating results across microservices.
Automated quality gates integrated into GitHub workflows that measurably reduce story
churn.
About Technology Ventures
Sourced by ZipRecruiter
Industry
It services
Company size
51 - 200 Employees
Headquarters location
McLean, VA, US
Year founded
1999