Computational Reasoning & Optimization Software Engineer, Lead

Computational Reasoning & Optimization Software Engineer, Lead

The Opportunity:

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.

You Have:

• 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 If You Have:

• 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

Clearance:

Applicants selected will be subject to a security investigation and may need to meet eligibility requirements for access to classified information.

Compensation

At Booz Allen, we celebrate your contributions, provide you with opportunities and choices, and support your total well-being. Our offerings include health, life, disability, financial, and retirement benefits, as well as paid leave, professional development, tuition assistance, work-life programs, and dependent care. Our recognition awards program acknowledges employees for exceptional performance and superior demonstration of our values. Full-time and part-time employees working at least 20 hours a week on a regular basis are eligible to participate in Booz Allen’s benefit programs. Individuals that do not meet the threshold are only eligible for select offerings, not inclusive of health benefits. We encourage you to learn more about our total benefits by visiting the Resource page on our Careers site and reviewing Our Employee Benefits page.

Salary at Booz Allen is determined by various factors, including but not limited to location, the individual’s particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements. The projected compensation range for this position is $112,800.00 to $257,000.00 (annualized USD). The estimate displayed represents the typical salary range for this position and is just one component of Booz Allen’s total compensation package for employees. This posting will close within 90 days from the Posting Date.

Identity Statement

As part of the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence to ensure authenticity and protect against identity fraud. You are expected to be on camera during interviews and assessments. We reserve the right to take your picture to verify your identity and prevent fraud.

Candidate AI Usage Policy

AI is a part of our daily work at Booz Allen, and we are committed to the responsible and ethical use of AI tools. However, we want to ensure a fair candidate process based on your own skills and knowledge. As part of this commitment, the use of artificial intelligence (AI) or other tools to assist with responses during interviews (whether in-person or virtual) is prohibited unless permission is explicitly provided.

Work Model
Our people-first culture prioritizes the benefits of collaboration, whether it occurs in person or virtually. To support engagement and effective communication, employees working virtually are generally expected to have their cameras on during meetings.

• Remote: If this position is listed as remote, there may still be occasions when you are required to work in person at a Booz Allen or customer facility.

• Hybrid: If this position is listed as hybrid, you will be expected to work from a Booz Allen facility frequently, in alignment with leadership expectations and the needs of the role. You may also be required to work from or visit a customer facility.

• Onsite: If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role.

Commitment to Non-Discrimination

All qualified applicants will receive consideration for employment without regard to disability, status as a protected veteran or any other status protected by applicable federal, state, local, or international law.