ZipRecruiter

Log In

1

Automated Reasoning Jobs in Washington (NOW HIRING)

AnaVation LLC

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 ...

BTree Solutions, Inc.

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)

AnaVation

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 ...

eSimplicity

Principal AI Engineer

Columbia, MD · On-site

$143K - $200K/yr

... automated testing, deployment pipelines, and release management for production environments. Desired Qualifications: * Experience building multi-agent systems, agent swarms, or coordinated reasoning ...

eSimplicity Inc.

Principal AI Engineer

Columbia, MD · On-site

... automated testing, deployment pipelines, and release management for production environments. Desired Qualifications: * Experience building multi-agent systems, agent swarms, or coordinated reasoning ...

eSimplicity

Principal AI Engineer

Columbia, MD · On-site

$143K - $200K/yr

... automated testing, deployment pipelines, and release management for production environments. Desired Qualifications: * Experience building multi-agent systems, agent swarms, or coordinated reasoning ...

AnaVation

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 ...

AnaVation

Sr. Cyber Engineer (AI)

Chantilly, VA

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 ...

eSimplicity

Principal AI Engineer

Columbia, MD · On-site

$143K - $200K/yr

... automated testing, deployment pipelines, and release management for production environments. Desired Qualifications: * Experience building multi-agent systems, agent swarms, or coordinated reasoning ...

previous pagenext page

Showing results 21-40

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Washington

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

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

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

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

What cities in Washington are hiring for Automated Reasoning jobs?

Cities in Washington with the most Automated Reasoning job openings:

Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Washington as of August 2026, with employment types broken down into 84% Full Time, 5% Part Time, 2% Temporary, 8% Contract, and 1% Nights. Highlights an 82% Physical, 4% Hybrid, and 14% Remote job distribution.

4408 AI/ML Reverse Engineer with Security Clearance

Procession Systems

Herndon, VA • On-site

Other

Re-posted 29 days ago

Job description

OVERVIEW: We are seeking a Senior AI Engineer with deep experience in vulnerability research, reverse engineering, and automated exploit discovery. In this role, you will build advanced AI-driven systems to analyze binaries, discover flaws, and support secure engineering across complex environments. You will work at the intersection of security research, machine learning, and large-scale automation-designing tools that push the boundaries of modern vulnerability detection. GENERAL DUTIES: * Lead research and development of automated systems for reverse engineering, including static, dynamic, and symbolic analysis workflows. * Create tools to analyze compiled code, firmware, protocols, and novel architecture. * Collaborate with VR researchers to convert cutting-edge techniques into scalable AI-driven capabilities. * Build pipelines for ingesting binaries, disassembling, performing feature extraction, and training ML models. * Perform hands-on reverse engineering of complex software to validate and improve AI-based approaches. * Integrate LLMs and multimodal models into security workflows (e.g., code reasoning, decompilation assistance, exploit surface mapping). * Document methodologies, findings, and architectures for internal engineering and security teams. * Mentor junior engineers and guide cross-functional research initiatives. REQUIRED QUALIFICATIONS: * 7+ years of experience in vulnerability research, reverse engineering, or low-level systems security. * Strong proficiency with reverse engineering tools such as IDA Pro, Ghidra, Binary Ninja, Frida, or similar. * Expert knowledge of exploit classes, memory corruption, program analysis, and OS-level internals. * Professional experience building or integrating ML/AI systems, including transformer-based models or code-intelligence architectures. * Proficiency in Python and at least one low-level language (C/C++, Rust, or Assembly). * Strong understanding of binary formats (ELF, PE), calling conventions, and compiler behaviors. * Experience with static analysis, dynamic instrumentation, fuzzing frameworks, or symbolic execution tools DESIRED QUALIFICATIONS: * Experience developing AI/ML models that assist in binary analysis, vulnerability detection, and exploit pattern identification. * Experience training or fine-tuning ML models for code or binary analysis. * Familiarity with reinforcement learning, program synthesis, or neurosymbolic reasoning. * Experience analyzing embedded systems, mobile platforms, or cloud-native workloads. * Publications, conference presentations, or open-source contributions in security research or program analysis. * Prior experience in red team research or advanced threat modeling. CLEARANCE: * Active TS/SCI with Full Scope Polygraph through the VA Customer
Procession Systems logo

About Procession Systems

Sourced by ZipRecruiter

Procession Systems, based in Reston, Virginia, United States, is an industry leader operating in the Information Technology Services sector. Established to address complex business and technology challenges, the company delivers innovative tech solutions for government entities, primarily focusing on systems integration and software development. Procession Systems takes pride in their commitment to quality, responsiveness, and results, geared towards improving public sector services and saving taxpayer dollars.

Industry

Recruiting and staffing services

Company size

11 - 50 Employees

Headquarters location

Reston, VA, US

Year founded

2016

Social media

Facebook

View All Procession Systems Jobs

Apply