Hybrid Lead Computational Reasoning & Optimization Software Engineer

Posted 1 hour ago

Apply now

About the role

  • Lead Software Engineer designing optimization architecture for decision-support platform. Join Booz Allen's elite team tackling America's operational planning challenges.

Responsibilities

  • architect the core reasoning and optimization architecture for an integrated product suite
  • automate course of action analysis under uncertainty
  • ensure that models from different domains are combined correctly and traceable
  • lead a small elite team at the technical frontier
  • translate operational problems into formal optimization problems
  • build in a rapid development environment with AI-native tooling

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

Benefits

  • health, life, disability, financial, and retirement benefits
  • paid leave
  • professional development
  • tuition assistance
  • work-life programs
  • dependent care
  • recognition awards program acknowledges employees for exceptional performance and superior demonstration of our values

Job title

Lead Computational Reasoning & Optimization Software Engineer

Job type

Experience level

Senior

Salary

$112,800 - $257,000 per year

Degree requirement

Bachelor's Degree

Tech skills

Location requirements

Report this job

See something inaccurate? Let us know and we'll update the listing.

Report job