Applied Scientist, AWS Automated Reasoning
Tasks
- Deliver solutions
- Design solutions
- Develop technical plans
- Implement solutions
- Mentor engineers
- Share technical knowledge
- Solve complex problems
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Dafny | Haskell | Kotlin | Lean | OCaml | Programming | Rust | Scala | Scientific Computing
Education
Roles
Related jobs
-
Lead Consultant Data Scientist USD 130K-172KAgile Scrum | Apache Spark | Cloud Computing | Data Governance | Data QualityCare Com Membership | Dental benefits | Emergency child care days | Floating holidays | Headspace membershipSenior-level Full TimeArlington, Virginia, United States, Remote Flexible R7h ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hoursSenior-level Full TimeSeattle, Washington, USA11h ago
-
Applied Scientist, Sponsored Products and Brands USD 142K-223KA/B | A/B Testing | Ads Ranking | B testing | C++Mid-level Full TimeSeattle, Washington, USA1d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA1d ago
-
Senior Data Scientist, Strategy & Insights USD 125K-205KA/B | A/B Testing | AI | B testing | Causal InferenceFlexible work hybrid work schedule | Health and wellness programs | Time away from workSenior-level Full TimeSunnyvale, CA, United States1d ago
-
Senior Data Scientist USD 180K-230KAnomaly Detection | Apache Spark | Attention Mechanism | Bayesian Inference | CNNSenior-level Full TimeFoster City, CA1d ago
-
Engineer Data (Multiple Positions) (REF291620F) USD 88K-131KABAQUS | ANSYS-FLUENT | Azure | Cause analysis | Data LakesDomestic and international travel | Work from home optionMid-level Full TimeCharleston, SC, United States1d ago
-
Senior Data Scientist (Multiple Positions) USD 176K-329KCausal Inference | Classification | Clustering | Data Mining | Data VisualizationSenior-level Full TimeSeattle, Washington, United States1d ago
-
Data Scientist - Level 2 USD 100K-200KAnsible | Bash | DSC | Desired State | Desired State Configuration401k company match | Employer paid disability | Flexible work schedules | Life insurance | Long-term disabilityMid-level Full TimeAnnapolis Junction, MD, US2d ago
-
AWS | Classification | Clustering | Conda | Data VisualizationSenior-level Full TimeMcLean, VA, United States2d ago
-
Senior Data Scientist USD 139K-233KAutoml | Computer Vision | Data Analysis | Data Preprocessing | Data cleaning401k plan | Adoption reimbursement | Disability benefits | Employee assistance program | Employee discountsSenior-level Full TimeAtlanta, Georgia2d ago
-
Senior Data Scientist USD 139K-233KAdversarial Networks | Automl | Data Analysis | Databricks | Deep learning401k plan | Adoption reimbursement | Dental insurance | Employee assistance program | Employee discountsSenior-level Full TimeDallas, Texas2d ago
-
Applied Scientist II - AMZ9971140 USD 153K-193KAbstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex OptimizationMedical benefitsMid-level Full TimeSeattle, Washington, USA2d ago
-
Lead Experimental Physicist (AMO) - 902 USD 126K-166KControl Systems | Cryogenic Systems | Cryogenics | Data Analysis | Experimental dataSenior-level Full TimeUS Albuquerque, NM2d ago
-
Entry-level Full TimeAlabama2d ago
-
Data Scientist USD 161K-228KArtificial Intelligence | Data Analysis | Data Mining | Data Visualization | Deep learningHealth insurance | Hybrid work model | Retirement benefits | VacationMid-level Full TimeUSA - OR - Hillsboro, United …3d ago
-
Lead Data Scientist USD 114K-248KData Engineering | Data Visualization | Experimentation | Machine Learning | Package development401k match | Commuter benefits | Dental insurance | Employee assistance program | Health insuranceSenior-level Full TimeRockville (Gira), United States3d ago
-
Research Scientist/Research Engineer USD 250K-500KDeep learning | GPU Computing | Hyperparameter Tuning | Inference pipeline | InterpretabilityIn-person collaboration | Visa sponsorshipMid-level Full TimeSan Francisco5d ago
-
AWS | Apache Spark | Big Data | Classification | ClusteringMid-level Full TimeHouston, TX, United States6d ago
-
Senior Applied Scientist USD 116K-210KAWS | BigQuery | CI/CD | Containers | Deep learning401k | Commuter and transit programs | Employee stock purchase plan | Home internet discounts | Mobile service discountsSenior-level Full TimeNY-New York Flatiron Office, United States7d ago
-
Robotics Automation Data Scientist USD 125K-175KA/B | A/B Testing | Apache Kafka | B testing | Data ModelingSenior-level Full TimeMASSACHUSETTS - VIRTUAL - MA01, United … R7d ago
-
AWS | Backtesting | Classification | Clustering | Confusion matrixHealth benefits | Long-term incentives | Performance incentivesMid-level Full TimeSan Jose, CA, United States7d ago
-
AWS | Data Aggregation | Data Analysis | Data Mining | Data ReconciliationSenior-level Full TimeVienna, VA, United States7d ago
-
Senior Data Scientist USD 150K-210KAWS | Cassandra | Data Compliance | Data Governance | Data SecuritySenior-level Full TimeAnnapolis Junction, MD, United States8d ago
-
Principal Associate, Data Scientist - Audit Data Science USD 147K-184KAWS | Classification | Clustering | Conda | Confusion matrixSenior-level Full TimeMcLean, VA, United States8d ago