Sr. Applied Scientist, AWS Automated Reasoning
Tasks
- Develop strategic plans for new business solutions
- Lead design implement and deliver long term solutions
- Mentor team members on advanced technical issues
- Provide cross organizational technical influence
- Solve complex automated reasoning problems
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Machine Learning | Program analysis | Programming language | Programming language type systems | SAT solving | SMT solving | Symbolic simulation | Theorem Proving | Type Systems
Education
Related jobs
-
Data Scientist, Product Analytics USD 178K-204KArtificial Intelligence | Data Mining | Experimentation | Forecasting | Key Performance IndicatorsMid-level Full TimeSunnyvale, CA | Menlo Park, CA … R2h ago
-
Staff AI Research Scientist, Applied AI, Google Cloud USD 207K-301KC++ | Data Mining | Deep learning | Generative AI | Information RetrievalSenior-level Full TimeSunnyvale, CA, USA2h ago
-
Research Data Scientist, Cybersecurity, Google Cloud USD 147K-211KAdversarial Machine Learning | Cybersecurity | Data Pipelines | Fraud Detection | Generative AIMid-level Full TimeSan Francisco, CA, USA; Reston, VA, …2h ago
-
AI Research Scientist, Applied AI, Google Cloud USD 174K-253KC++ | Deep learning | Evaluation | Experimentation | Generative AIHealth insurance | Paid time off | Parental leave | Professional development | Relocation assistanceMid-level Full TimeSunnyvale, CA, USA2h ago
-
Staff Data Scientist, Ads Delivery USD 164K-339KApache Spark | Causal Inference | Experimentation | Machine Learning | PredictionSenior-level Full TimeSeattle , WA, US; Remote, US R10h ago
-
Data Scientist / ML Engineer USD 170K-210KAWS | Azure | Bias Evaluation | Cloud Computing | Cloud platformFlexible working hours | Remote workSenior-level Full TimeNew York, NY, US, Remote R15h ago
-
Staff Data Scientist (AI/ML) USD 174K-278KAWS | Agile | Azure | BigQuery | Causal InferenceDental insurance | Flexible work options | Hybrid work schedule | Medical insuranceSenior-level Full TimeUS - Boston, MA ; US …15h ago
-
Senior Data Scientist – Fusion Systems USD 195K-222KAnomaly Detection | Data Modeling | Data Pipelines | Data schemas | EmbeddingsDental insurance | Employer 401k match | Health insurance | Life insurance | Long-term disabilitySenior-level Full TimeEverett, WA16h ago
-
Quantitative Researcher USD 170K-220KAdvanced SQL | Data analytics | Database Management | Indexing | Machine LearningHealth insurance | Hybrid work schedule | Paid time off | Professional developmentMid-level Full TimeSan Francisco, California, United States17h ago
-
A/B | A/B Testing | Apache Spark | B testing | CalibrationCommuter benefits | Dental insurance | Disability insurance | Healthcare | Hybrid work scheduleSenior-level Full TimeRedwood City, US R18h ago
-
Senior Data Scientist, Product & Growth USD 180K-250KA/B | A/B Testing | B testing | Churn Prediction | DBTAI tools budget | Choice of equipment | Daily catered meals | Medical, dental & vision coverage | Unlimited PTOSenior-level Full TimeSan Francisco18h ago
-
IL0219 – Data Scientist. USD 128K-128KAWS Lambda | AWS QuickSight | AWS RDS | AWS Redshift | AWS S3401k match | Adoption Assistance | Dental insurance | Disability insurance | Employer DiscountsMid-level Full TimeWarrenville, IL, United States R18h ago
-
Associate Data Scientist USD 69K-109KCRM | Classification | Clustering | Customer Segmentation | Data Quality401k plan | Dental insurance | Flexible spending account | Health insurance | Health savings accountMid-level Full TimeLos Angeles, CA18h ago
-
Data Scientist USD 125K-125KAlteryx | Classifier Modeling | Correlation Analysis | Data Analysis | Data MiningSenior-level Full TimeDallas, Texas, United States19h ago
-
Senior-level Full TimeMountain View, CA, US; Redmond, WA, …19h ago
-
ArcGIS | Data Architecture | Data Management | Data Processing | Data QualityMid-level Full TimeBaltimore, MD, United States R20h ago
-
Research Scientist - Computational Neuroscience USD 90K-200KBrain simulation | Circuit modeling | Data Analysis | Dynamical systems | GitHybrid work option | Remote work flexibilityMid-level Full TimeHybrid R20h ago
-
Data Scientist, Marketing USD 285K-380KCausal Inference | Data Analysis | Experiment design | Machine Learning | Marketing AnalyticsFlexible working hours | Generous vacation | Optional equity donation matching | Parental leave | Visa sponsorshipMid-level Full TimeNew York City, NY | Seattle, …21h ago
-
Applied Scientist (Robotics and AI Institute LLC): USD 128K-238KBehavior Trees | C++ | Fault Tolerance | Finite-state machines | Imitation LearningMid-level Full TimeCambridge, MA22h ago
-
Data Scientist, North America Onboarding Team USD 180K-200KA/B | A/B Testing | Anomaly Detection | Anti-Money Laundering | B testingMid-level Full TimeAustin, United States23h ago
-
AWS | Azure | Bayesian Methods | CI/CD | Cloud ComputingEmployee resource groups | Flexible family care days | Paid Holidays | Paid parental leave | Paid time offSenior-level Full TimeDearborn, MI, United States1d ago
-
EMADE | Evolutionary Algorithms | Genetic Programming | Linux | Machine LearningEntry-level Full TimeAtlanta, GA1d ago
-
Data Scientist AI Execution USD 140K-190KArtificial Intelligence | Classification | Data Engineering | Data analytics | Language ProcessingSenior-level Full TimeAuburn Hills, MI, United States1d ago
-
Business Data Scientist, YouTube Marketing USD 116K-166KCausal Inference | Database querying | Experiment design | Experimental Methods | Machine LearningEntry-level Full TimeSan Bruno, CA, USA1d ago
-
Senior Data Scientist, Search Personalization USD 174K-253KA/B | A/B Testing | B testing | Dashboard monitoring | Data acquisitionSenior-level Full TimeMountain View, CA, USA; New York, …1d ago