Computational Reasoning & Optimization Software Engineer, Lead

TL;DR

Computational Reasoning & Optimization Software Engineer, Lead: Architecting core reasoning and optimization systems for decision-support platforms in high-stakes operational planning with an accent on constraint satisfaction, formal guarantees, and multi-objective optimization under uncertainty. Focus on integrating solvers like SMT and theorem provers into microservices, composing heterogeneous models, and delivering provably correct recommendations for defense and intelligence applications.

Location: McLean, VA, USA (additional: Annapolis Junction, MD; Washington, DC). Remote with possible required in-person work at Booz Allen or customer facilities. Ability to obtain Secret clearance required.

Salary: $112,800–$257,000 (annualized USD).

Company

Consulting firm delivering technical solutions for defense, intelligence, and national security challenges.

What you will do

• Own the core reasoning and optimization architecture for an integrated product suite automating course-of-action analysis and model composition.
• Define how operational problems translate into formal optimization constraints and solver formulations.
• Lead a small elite team building in a rapid development environment with AI-native tooling.
• Design microservices platforms including decomposition, API contracts, and distributed data flows.
• Build systems handling uncertainty, noisy data, and high-stakes decision-making for planners and operators.

Requirements

• 8+ years designing/implementing software with mathematical optimization, constraint satisfaction, or formal reasoning
• Experience integrating constraint/SMT solvers or theorem provers into production apps
• Architecting microservices-based platforms and multi-objective optimization systems
• Translating domain requirements into formal constraints
• Ability to obtain Secret clearance
• Bachelor's in CS, applied math, operations research, or physics

Nice to have

• SMT theory combination, incremental solving, UNSAT cores, or formal verification
• Reduced-order/surrogate modeling or physics-informed techniques
• Real-time decision-support for defense/intelligence with streaming data
• Graduate research in formal methods, optimization, or modeling
• TS/SCI with polygraph; Master's/Doctorate preferred

Culture & Benefits

• Health, life, disability, financial, retirement benefits, paid leave, professional development, tuition assistance.
• Work-life programs, dependent care, recognition awards for performance and values.
• People-first culture prioritizing collaboration, cameras on in virtual meetings.
• Full-time/part-time (20+ hrs/week) eligible for benefits.