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 R7h 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 R12h 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 …12h 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 R15h ago
-
ArcGIS | Data Architecture | Data Management | Data Processing | Data QualityMid-level Full TimeBaltimore, MD, United States R17h ago
-
Research Scientist - Computational Neuroscience USD 90K-200KBrain simulation | Circuit modeling | Data Analysis | Dynamical systems | GitHybrid work option | Remote work flexibilityMid-level Full TimeHybrid R17h 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, …17h ago
-
Applied Scientist (Robotics and AI Institute LLC): USD 128K-238KBehavior Trees | C++ | Fault Tolerance | Finite-state machines | Imitation LearningMid-level Full TimeCambridge, MA19h 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 States20h 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 States21h ago
-
Data Scientist AI Execution USD 140K-190KArtificial Intelligence | Classification | Data Engineering | Data analytics | Language ProcessingSenior-level Full TimeAuburn Hills, MI, United States22h ago
-
Business Data Scientist, YouTube Marketing USD 116K-166KCausal Inference | Database querying | Experiment design | Experimental Methods | Machine LearningEntry-level Full TimeSan Bruno, CA, USA23h 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, …23h ago
-
Staff Data Scientist, AI Mode USD 207K-301KData Analysis | Data Visualization | Experimental Design | Machine Learning | PythonSenior-level Full TimeMountain View, CA, USA23h 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
-
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
-
Principal Data Scientist USD 126K-255KAWS Bedrock | AWS Kinesis | AWS SageMaker | Amazon Athena | Apache KafkaEducational assistance | Health care coverage | Learning resources | Paid time off | Parental leaveSenior-level Full Time245 Summer St, Boston MA, United … R1d ago
-
Translational Project Lead Statistician USD 122K-176KAI | Analysis Plan | Bayesian statistics | Biostatistics | Clinical studyGender neutral parental leave | Health and wellbeing benefits | Prevention programs | Wellness programsSenior-level Full TimeWaltham, United States1d ago
-
Lead Advanced Analytics USD 150K-196KADLS | Big Data | Big data analytics | Data Architecture | Data Movement401k plan | Adoption reimbursement | Disability benefits | Employee assistance program | Employee discountsSenior-level Full TimeEl Segundo, California1d ago
-
Agile | Classification | Cloud Computing | Clustering | Data AnalysisSenior-level Full TimeUS - Durham - NC, United …1d ago
-
Data Scientist USD 109K-136KAzure ML | Clustering | Data Analysis | Data Visualization | Data Wrangling401k matching | Dental insurance | Health insurance | Life insurance | Paid HolidaysEntry-level Full TimeCT-Windsor, One Orange Way, United States1d ago
-
Audit Data Science Advisor USD 155K-209KAWS | AWS Data | AWS Data Wrangler | Amazon Athena | Amazon RedshiftFlexible work arrangement | Health insurance | Incentive program | Life insurance | Wellbeing benefitsExecutive-level Full TimeMidtown Center, United States1d ago
-
Global Supply Chain Analytics & Insights Scientist USD 73K-106KArtificial Intelligence | Bias Mitigation | Data Visualization | Fairness | Generative AI401k match | Dental insurance | Health savings account | Hybrid work | Medical insuranceMid-level Full TimeMercury Plant 10 Fond Du Lac, …1d ago
-
AI & Data Analytics USD 105K-161KAPI Development | AWS | Agile | Automation | AzureDental insurance | Employee assistance program | Flexible spending account | Flexible vacation and sick leave | Health insuranceMid-level Full TimeTEX02 - Houston, Texas (TEX02), United …1d ago