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 States6h ago
-
AI integration | AIOps | Active architecture | Active-active Architecture | Active/ActiveSenior-level Full TimeSan Jose, California, United States6h ago
-
Software Engineer, BigQuery Managed Storage USD 147K-211KAlgorithms | BigQuery | Change Data Capture | Cloud Computing | Data CaptureMid-level Full TimeKirkland, WA, USA7h 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, …7h 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 States18h 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 Francisco19h 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, CA21h ago
-
Mid-level Full TimeSan Francisco21h ago
-
Algorithms | Data Structures | Distributed Systems | Linux | NetworkingEntry-level Full TimeChicago21h ago
-
Algorithms | Data Structures | Distributed Systems | HPC | High PerformanceMid-level Full TimeChicago, New York, Amsterdam21h 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, USA22h 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 TimeAtlanta22h 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 City22h 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 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
-
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 Big Data Software Engineer USD 135K-235KAWS | Azure | Distributed Systems | Docker | GCP401k matching | 401k profit sharing | Birthday day off | Disability coverage | Flexible work scheduleMid-level Full TimeChantilly, VA1d ago
-
Cloud Big Data Software Engineer USD 135K-215KAWS | Azure | Data Visualization | Distributed Systems | Docker401k matching | Birthday day off | Disability Insurance Coverage | Employee events | Flexible work scheduleMid-level Full TimeHonolulu, HI1d ago
-
Big Data Engineer USD 95K-152KApache Spark | Cloud | Data Governance | Data Processing | Data orchestration401k matching | Birthday day off | Dental insurance | Flexible work schedule | HSA or FSAMid-level Full TimeReston, VA1d ago
-
Big Data Engineer USD 95K-150KApache Hadoop | Apache Spark | Data Governance | Data Visualization | Data WorkflowBirthday day off | Flexible work schedule | HSA/FSA | Life insurance | Long-term disabilityMid-level Full TimeTysons, VA1d ago