Computational Reasoning & Optimization Software Engineer, Lead

Booz Allen Hamilton•Mclean, VA

23h•Remote

About The Position

As a software engineer who thinks in constraints, trade-offs, and formal guarantees, you know that the hardest problems aren't solved by faster code alone. They're solved by encoding the right structure so that the right reasoning can happen. You've built systems where solvers evaluate thousands of possibilities and return answers that are provably correct, explainable, and useful to the people who need them. We are building a decision-support platform for the nation's most demanding operational planning challenges, and we're looking for someone like you to architect it from the ground up. As the technical lead on this effort, you'll own the core reasoning and optimization architecture for an integrated product suite. One product automates course of action analysis under uncertainty, turning noisy, incomplete information into structured and constraint-backed planning recommendations. The other enables formal composition of heterogeneous computational models, ensuring that when models from different domains are combined, the result is correct, consistent, and traceable. Together they give planners and operators the ability to make faster and better-informed decisions in environments where the cost of a wrong answer is high. You'll lead a small, elite team where everyone operates at the technical frontier. You'll be the person on the team who defines how operational problems become formal optimization problems, and how solvers turn those formulations into answers that operators can trust. You'll build in a rapid development environment with AI-native tooling, delivering scientific rigor at engineering velocity. Join us. The world can't wait.

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

Own the core reasoning and optimization architecture for an integrated product suite.
Define how operational problems become formal optimization problems.
Define how solvers turn those formulations into answers that operators can trust.
Build in a rapid development environment with AI-native tooling, delivering scientific rigor at engineering velocity.