Applied Scientist, AWS Automated Reasoning
Arlington, Virginia, USA
USD 142K-223K (estimate) Mid-level Full Time
Tasks
- Deliver long term quantifiable impact
- Develop strategic plans for new solutions
- Lead design implementation and delivery of solutions
- Mentor engineers and scientists
- Share technical knowledge across teams
- Solve complex domain problems
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Cloud | Dafny | Haskell | Kotlin | Lean | Machine Learning | OCaml | Programming | Rust | Scala
Education
Roles
Related jobs
-
Featured Feat. Associate Director, Data Labs USD 167K-167KAWS | Cloud Computing | Compute Infrastructure | Data Analysis | LLM GovernanceConference speaking opportunities | Hybrid work schedule | Media appearancesSenior-level Full TimeWashington, District of Columbia, 20004, United … R28d ago
-
Applied Scientist, AWS Identity USD 142K-193KAutomated Reasoning | Automated testing | BDD | Constraint Solving | Dafny401k matching | Career growth | Health insurance | Paid time off | Parental leaveEntry-level Full TimeArlington, Virginia, USA6h ago
-
Principal Research Scientist, Robotics USD 242K-376K3D Perception | Agentic robotics | C++ | CUDA | Computer VisionSenior-level Full Time665 Clyde Avenue, Mountain View, CA, …13h ago
-
Senior-level Full TimeHuntsville, United States17h ago
-
Data Scientist, Research, Search Platforms USD 174K-253KCausal Inference | Data Ingestion | Data Modeling | Data Pipelines | Data ProcessingMid-level Full TimeMountain View, CA, USA; Cambridge, MA, …19h ago
-
Digital Advertising | Game theory | Machine Learning | Operations Research | OptimizationMid-level Full TimeMountain View, CA, USA19h ago
-
Antibody Design | Biochemistry | Bioinformatics | Biophysics | Cloud ComputingCoaching and mentoring | Family care leave | Flexible working options | Health checks | Health seminarsSenior-level Full TimeWuppertal-Aprath, Nordrhein-Westfalen, DE22h ago
-
Data Scientist, Demand Planning USD 95K-149KDashboarding | Data Analysis | Data Modeling | Data Visualization | ForecastingContinuous learning | Global career growth | Inclusive environment | Professional developmentMid-level Full TimeMaumee, OH, US, OH 435371d ago
-
Senior Data Scientist USD 169K-190KA/B | A/B Testing | B testing | Dashboards | Data AnalysisDental insurance | Disability benefits | Equity awards | Health insurance | Life insuranceSenior-level Full TimeSan Jose, California1d ago
-
Senior Data Scientist USD 169K-195KA/B | A/B Testing | B testing | Data Pipelines | Data VisualizationDisability benefits | Equity awards | Health insurance | Life insurance | Paid time offSenior-level Full TimeSan Jose, California1d ago
-
Senior Data Scientist USD 127K-170KA/B | A/B Testing | B testing | Forecasting | Language ModelsDisability benefits | Equity awards | Health insurance | Life insurance | Paid time offSenior-level Full TimeNew York, New York1d ago
-
AI Research Scientist- Multimodal Foundational Models USD 165K-195KAgentic AI | Computer Vision | Data labeling | Data-Centric AI | Data-centric401k matching | Disability insurance | Health insurance | Life insurance | Paid time offMid-level Full TimeSunnyvale, CA, United States1d ago
-
Senior Principal Scientist, Biostatistics USD 210K-331KAdaptive trial design | Automated testing | Automation | Biostatistics | C plus plusSenior-level Full TimeUSA - Pennsylvania - North Wales …1d ago
-
Junior Data Scientist- Philadelphia District USD 40K-44KData Governance | Data Visualization | Data cleaning | Experimental Design | Feature EngineeringEntry-level Full TimePhiladelphia, PA, US, 191031d ago
-
Principal Scientist, Biologics Optimization USD 117K-201KAggregation assay | Antibody engineering | Artificial Intelligence | Computational Biology | Data ScienceSenior-level Full TimeUS026 PA Spring House - 1400 …1d ago
-
Sr. Data Scientist - Pricing Algorithms USD 106K-159KClassification | Data cleaning | Feature Engineering | Machine Learning | Probabilistic AnalysisPaid Holidays | Paid sick time | Paid vacation timeSenior-level Full Time8901 - Corp Office West Crk, …1d ago
-
Manager, Data Science - Pricing Algorithms USD 120K-192KData Analysis | Experiment design | Feature Engineering | Machine Learning | Model ValidationFlexible time off | Paid Holidays | Paid sick leave | Paid vacation timeMid-level Full Time8901 - Corp Office West Crk, …1d ago
-
Senior Engineer - Computer Vision USD 113K-188K3D Point Cloud Processing | 3D point cloud | C++ | Cloud processing | Computer VisionDental insurance | Disability benefits | Employee assistance program | Life insurance | Medical insuranceSenior-level Full TimeNiskayuna, United States1d ago
-
Antibody Design | Bioinformatics | Data Analysis | De Novo | De novo protein designEntry-level Full TimeNew York - Off Campus, United …1d ago
-
3D Geometry | C# | C++ | Camera Models | Deep learning12 paid holidays | 401k matching | Dental insurance | Disability benefits | Employee assistance programSenior-level Full TimeNiskayuna, United States1d ago
-
Data Scientist USD 98K-157KApache Spark | Customer Segmentation | Data Analysis | Data Mining | Data PreparationMid-level Full TimeDeerfield, Illinois1d ago
-
Anomaly Detection | Apache Hadoop | Apache Spark | Azure DevOps | Cloud analyticsAccident insurance | Health insurance | Life insurance | Manager support | Network-building opportunitiesSenior-level Full Time320Canal, United States1d ago
-
Data Scientist - Financial Planning & Analysis USD 122K-189KARIMA | AWS | Adaptive Planning | Analytics Cloud | AnaplanSenior-level Full TimeNew York1d ago
-
Applied Scientist, Prime Video Personalization and Discovery Science, Prime Video - Personalization and Discovery Science USD 157K-212KA/B | A/B Testing | B testing | C++ | Data Analysis401k matching | Health insurance | Paid time off | Parental leaveSenior-level Full TimeSunnyvale, California, USA1d ago
-
ATAC-seq | Artificial Intelligence | CRISPR Screening | ChIP-seq | Data AnalysisMid-level Full TimeMemphis, TN, United States1d ago