Computational Reasoning & Optimization Software Engineer, Lead
Undisclosed Location - USA, VA, Mclean, United States
USD 112K-257K Senior-level Full Time
Tasks
- Architect reasoning and optimization platform
- Build microservices for decision support
- Define operational problem constraint specifications
- Design multi objective optimization systems
- Ensure solver outputs are provably correct and traceable
- Integrate constraint solvers into production
- Lead service decomposition and API contract design
Perks/Benefits
- Dependent care
- Paid leave
- Paid training
- Professional development
- Retirement benefits
- Tuition assistance
- Work-life programs
Skills/Tech-stack
API Design | Automated theorem proving | Constraint Satisfaction | Constraint Solver | Constraint Solver Integration | Distributed Systems | Formal reasoning | Mathematical Optimization | Microservices | Multi-Objective Optimization | Objective optimization | SMT solving | Secret Clearance | Service decomposition | Solver integration | Theorem Proving
Education
Roles
Engineer | Lead | Lead Software Engineer | Software Engineer
Related jobs
-
Causal Inference | Cross-modal fusion | DPO | Data Modeling | Deep learningEntry-level Full TimeSan Jose, California, United States7h ago
-
AI integration | AIOps | Active architecture | Active-active Architecture | Active/ActiveSenior-level Full TimeSan Jose, California, United States7h ago
-
Software Engineer, BigQuery Managed Storage USD 147K-211KAlgorithms | BigQuery | Change Data Capture | Cloud Computing | Data CaptureMid-level Full TimeKirkland, WA, USA8h ago
-
Forward Deployed Engineer, Applied AI, Google Cloud USD 127K-183KAPI | CRM | Cloud platform | Conversational AI | Conversational agentsHigh-impact role | Opportunity to lead technical delivery | Travel up to 50 percentMid-level Full TimeNew York, NY, USA; Atlanta, GA, …8h ago
-
Data Engineer (Denver, Colorado, USA) USD 120K-150KApache Spark | Data Engineering | Data Governance | Data Pipelines | Data Quality401k retirement plan | Client-facing work | Health insurance | Paid vacationSenior-level Full TimeDenver, Colorado, United States19h ago
-
Principal Engineer – Store Optimization USD 168K-303KAI guardrails | API Design | Cloud Native | Distributed Systems | Docker401k | Dental insurance | Employee discount | Health insurance | Life insuranceSenior-level Full Time7000 Target Pkwy N,NCD-0375 Brooklyn Park,MN …19h ago
-
Full Stack Software Engineer, Applied AI USD 140K-140KAPI Design | Alerting | CI/CD | Cloud infrastructure | DevOpsFlexible PTO | Health insurance | Mental wellness days | Paid Holidays | Parental leaveMid-level Full TimeSan Francisco20h ago
-
Chaos Engineering | Distributed Systems | Fault injection | Linux | Load TestingFlexible working hours | Generous vacation | Hybrid work policy | Optional equity donation matching | Parental leaveMid-level Full TimeSan Francisco, CA22h ago
-
Mid-level Full TimeSan Francisco22h ago
-
Algorithms | Data Structures | Distributed Systems | Linux | NetworkingEntry-level Full TimeChicago22h ago
-
Algorithms | Data Structures | Distributed Systems | HPC | High PerformanceMid-level Full TimeChicago, New York, Amsterdam22h ago
-
Senior Staff ll, Machine Learning Engineer (Tech Lead) USD 187K-322KA/B | A/B Testing | B testing | Big Data | C++401k plan | Dental insurance | Disability insurance | Electric car charging | Employee assistance programSenior-level Full TimeMountain View, USA23h ago
-
Staff Machine Learning Engineer - Search USD 159K-208KAWS | Airflow | Autocomplete | Automation | Azure401k matching | Commuter benefits | Fitness benefits | Health insurance | Mental health supportSenior-level Full TimeAtlanta23h ago
-
Staff Machine Learning Engineer - Search USD 159K-208KAWS | AWS OpenSearch | Apache Airflow | Apache Flink | Apache Kafka401k match | Commuter benefits | Fitness benefits | Health insurance | Mental health supportSenior-level Full TimeNew York City23h ago
-
Technical Product Lead, Voice AI Research Team USD 155K-220KA/B | A/B Testing | API Design | Artificial Intelligence | B testing401k plan | Annual offsites | Dental insurance | Flexible paid time off | Happy hoursSenior-level Full TimeNew York, New York1d ago
-
Finance Staff Data Engineer, AI Native USD 190K-280KAPI rate-limiting | AWS | Airflow | Alerting | Apache Spark401k matching | Employee Assistance Program (EAP) | Equipment and tools reimbursement | Flexible PTO | Free membership Platinum subscriptionSenior-level Full TimeRemote, USA; Remote, Canada R1d ago
-
Senior-level Full TimeArlington, VA1d ago
-
Senior Software Engineer, Datapath USD 217K-326KC++ | Containerization | Database Internals | Deployment | Distributed SystemsCompany-sponsored team events | Flexible time off | Onsite work at Santa Clara office | Wellness resourcesSenior-level Full TimeSanta Clara, California1d ago
-
Cloud Analytic Software Engineer USD 135K-215KAmazon Web Services | Apache Spark | CI/CD | Cloud platform | Distributed SystemsBirthday day off | Career development support | Disability insurance | Employee events | Family-friendly benefitsMid-level Full TimeHonolulu, HI1d ago
-
Cloud Big Data Software Engineer USD 135K-215KAWS | Azure | Data Visualization | Distributed Systems | Docker401k matching | Birthday day off | Flexible work schedule | Paid leave | Paid trainingMid-level Full TimeAnnapolis Junction, MD1d ago
-
Cloud Analytic Software Engineer USD 135K-215KAmazon Web Services | Apache Spark | CI/CD | Cloud platform | Data StreamingBirthday day off | Flexible work schedule | Paid leave | Paid training | Referral bonusMid-level Full TimeChantilly, VA1d ago
-
Sr. Principal Software Engineer, AI Solutions USD 125K-180KAPI Gateway | API first | API-First Development | AWS | AWS CDKSenior-level Full TimeRemote, United States R1d ago
-
Cloud Big Data Software Engineer USD 135K-215KAWS | Azure | Distributed Systems | Docker | GCP401k matching | Birthday day off | Flexible work schedule | HSA/FSA | Health insurance coverageMid-level Full TimeReston, VA1d ago
-
Cloud Big Data Software Engineer USD 135K-215KAWS | Azure | Distributed Systems | Docker | GCP401k matching | Birthday day off | Disability Insurance Coverage | Flexible work schedule | HSA FSA coverageMid-level Full TimeTysons, VA1d ago
-
Cloud Analytic Software Engineer USD 113K-215KAWS | Azure | CI/CD | Cloud platform | Distributed Systems401k matching | Birthday day off | Employee medical/dental/vision coverage | Flexible work schedule | HSA/FSAMid-level Full TimeSan Antonio, TX1d ago