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
Engineering Lead leading a squad of engineers to develop the Digital Twin Platform at Woven by Toyota. Engaging with customers and ensuring quality deliverables in a hybrid environment.
Freelance Embedded Software Engineer developing hardware products at Kickmaker. Engaging in firmware design, software development, and international project participation.
Junior Fullstack Developer at Etinet responsible for frontend and backend development. Collaborating with teams to build scalable and high - performance digital solutions.
Lead Software Engineer at Novacura focusing on developing IFS Cloud software solutions and supporting projects. Engage with customers and teams to implement successful software solutions in a dynamic environment.
Senior Software Engineer in the STIX team protecting payment flows through credit assessments and fraud detection. Running a microservices architecture and processing credit checks daily.
Principal Engineer designing software with a focus on customer experience, collaborating to enhance banking software engineering capabilities. Leading innovative solutions and development oversight for banking applications.
Software Engineer developing innovative, high - performance solutions in customer - centric feature teams. Collaborating with engineers and analysts to produce complex software rapidly.
Senior Software Engineer developing back - end solutions for fintech company in Malaysia. Focus on microservices architecture, mentoring, and code quality in a hybrid work environment.
Senior Software Engineer developing high - performing, enterprise - grade applications at Absa. Collaborating with teams to innovate and deliver robust solutions in an agile environment.