Computational Reasoning & Optimization Software Engineer, Lead

Booz Allen Hamilton•Washington, DC

1d•$112,800 - $257,000

About The Position

As a software engineer with expertise in constraints, trade-offs, and formal guarantees, you will architect a decision-support platform for critical operational planning challenges. This role involves owning the core reasoning and optimization architecture for an integrated product suite. One product automates course of action analysis under uncertainty, providing structured and constraint-backed planning recommendations. The other facilitates formal composition of heterogeneous computational models, ensuring correctness, consistency, and traceability when combining models from different domains. The goal is to empower planners and operators to make faster, better-informed decisions in high-stakes environments. You will lead a small, elite team, defining how operational problems are transformed into formal optimization problems and how solvers deliver trustworthy answers. The work will be conducted in a rapid development environment utilizing AI-native tooling, balancing scientific rigor with engineering velocity.

Requirements

8+ years of experience designing and implementing software systems that incorporate mathematical optimization, constraint satisfaction, or formal reasoning
Experience integrating constraint solvers, SMT solvers, or automated theorem provers into production software applications
Experience architecting microservices-based platforms, including service decomposition, API contract design, and data flow across distributed components
Experience designing multi-objective optimization systems that balance competing concerns such as cost, risk, time, or resource utilization under uncertainty
Ability to translate operational or domain requirements into formal constraint specifications that a solver can evaluate
Ability to obtain a Secret clearance
Bachelor's degree in computer science, applied mathematics, operations research, or physics

Nice To Haves

Experience with SMT theory combination, incremental solving, UNSAT core extraction, or compositional approaches to formal verification
Experience with reduced-order modeling, surrogate modeling, or physics-informed computational techniques
Experience designing real-time decision-support systems that operate under streaming data conditions for defense, intelligence, or national security customers
Experience with graduate research in formal methods, constraint reasoning, computational optimization, or physics-based modeling
TS/SCI clearance with a polygraph
Master's degree in applied mathematics, operations research, or computer science preferred
Doctorate degree in applied mathematics, operations research, or computer science a plus

Responsibilities

Architect the core reasoning and optimization architecture for an integrated product suite
Lead a small, elite team operating at the technical frontier
Define how operational problems become formal optimization problems
Define how solvers turn formulations into answers that operators can trust
Build in a rapid development environment with AI-native tooling