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
-
Staff Data Scientist, Ads Delivery USD 164K-339KApache Spark | Causal Inference | Experimentation | Machine Learning | PredictionSenior-level Full TimeSeattle , WA, US; Remote, US R8h 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 R13h 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 …13h 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, WA15h 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 States15h 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 R16h 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 Francisco17h 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 R17h 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, CA17h ago
-
Data Scientist USD 125K-125KAlteryx | Classifier Modeling | Correlation Analysis | Data Analysis | Data MiningSenior-level Full TimeDallas, Texas, United States18h ago
-
ArcGIS | Data Architecture | Data Management | Data Processing | Data QualityMid-level Full TimeBaltimore, MD, United States R19h ago
-
Research Scientist - Computational Neuroscience USD 90K-200KBrain simulation | Circuit modeling | Data Analysis | Dynamical systems | GitHybrid work option | Remote work flexibilityMid-level Full TimeHybrid R19h 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, …19h ago
-
Applied Scientist (Robotics and AI Institute LLC): USD 128K-238KBehavior Trees | C++ | Fault Tolerance | Finite-state machines | Imitation LearningMid-level Full TimeCambridge, MA21h 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 States21h 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 States22h ago
-
Data Scientist AI Execution USD 140K-190KArtificial Intelligence | Classification | Data Engineering | Data analytics | Language ProcessingSenior-level Full TimeAuburn Hills, MI, United States23h 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
-
Staff Data Scientist, AI Mode USD 207K-301KData Analysis | Data Visualization | Experimental Design | Machine Learning | PythonSenior-level Full TimeMountain View, CA, USA1d ago
-
Senior Scientist, Computational Biology USD 136K-170KATAC-seq | AWS | Batch correction | Bioinformatics pipelines | CITE-seqFlexible friendly work environment | Mentorship and scientific guidance | On-site work environmentSenior-level Full TimeSouth San Francisco, California, United States1d ago
-
Sr. Research Data Scientist USD 330K-375KApache Spark | Causal Inference | Counterfactuals | Difference-in-differences | Distributed ComputingDisability benefits | Equity awards | Health insurance | Life insurance | Paid time offSenior-level Full TimeBoston, Massachusetts; New York, New York; …1d ago
-
Modeling & Simulation Analyst/Developer USD 95K-160KAWS | Agile | Alerting | Artificial Intelligence | AzureHybrid workMid-level Full TimeTysons, VA, United States1d ago
-
Journeyman Data Scientist USD 99K-114KBig Data | Data Analysis | Data Integrity | Data Mining | Data PipelinesMid-level Full TimeOmaha, NE, United States1d ago
-
Data Governance | Data Quality | Distributed Computing | Generative AI | Loss forecastingEducational assistance | Health insurance | Paid time off | Wellness programSenior-level Full TimeOne PNC Plaza (PA370), United States1d ago