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
Senior Software Engineer building a decision - support platform for national security operations. Designing models that translate operational scenarios into credible software solutions.
AWS Database Software Engineer creating solutions for geospatial databases and ensuring system integrity. Collaborating in a fast, agile environment to enhance technologies and tools.
AI Software Engineer designing reliable AI agents for structured systems. Collaborate with elite team to build bridges between human intent and formal computations.
Senior Full - Stack Developer for Booz Allen building real - time visualization interfaces. Responsible for interactive front - end development and ensuring actionable insights for operators.
AI software engineer developing solutions for national defense at Booz Allen. Creating AI and ML solutions to solve tough problems and modernize client systems.
AWS Geospatial Software Engineer developing end - to - end geospatial solutions in a fast, agile environment. Collaborating with clients to tackle complex challenges using advanced tools and technologies.
Senior Engineer developing Virtual and Augmented Reality software and applications using Unity and AI features at Booz Allen Hamilton. Mentor team members while solving complex problems with innovative tech solutions.
Senior iOS Software Engineer at Walmart designing and maintaining software solutions. Collaborating across teams to tackle technical challenges and enhance product strategy.
Software Development Intern at INVIDI Technologies creating software solutions for ad tech. Engage in all product development aspects within an agile team setting, contributing to major industry advancements.
Senior Engineer managing FlowManager Services applications for production optimization in the energy sector. Collaborating with global teams and supporting customers with technical solutions and field support.