Applied Scientist, AWS Automated Reasoning
Tasks
- Design implement deliver long term solutions
- Develop plans for new solutions
- Lead strategic technical problem solving
- Mentor engineers on advanced technical issues
- Share technical knowledge across organizations
- Solve complex scientific problems
Perks/Benefits
Skills/Tech-stack
AWS | Automated Reasoning | Program analysis | Programming language | Programming language type systems | SAT | SMT | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Related jobs
-
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 …14h 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
-
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
-
Modeling & Simulation Analyst/Developer USD 95K-160KAWS | Agile | Alerting | Artificial Intelligence | AzureHybrid workMid-level Full TimeTysons, VA, 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
-
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
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KPrivacy | Program analysis | Programming language | Programming language type systems | SAT401k matching | Career growth training | Flexible work hours | Health insurance | MentoringSenior-level Full TimeSeattle, Washington, USA1d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCloud Security | Dafny | Haskell | Kotlin | Language theoryFlexible work hours | Mentorship | Paid time off | Parental leave | Training resourcesSenior-level Full TimeSeattle, Washington, USA1d ago
-
Data Scientist USD 77K-116KAWS | Azure | CSS | Data Visualization | Descriptive Statistics401k eligibility | Employee assistance program eligibility | Health and wellness benefits | Paid Holidays | Paid parental leaveMid-level Full TimeMentor, OH, United States1d ago
-
Distinguished AI Scientist USD 314K-425KA/B | A/B Testing | AWS | Algorithms | Artificial IntelligenceSenior-level Full TimeCategory Data, Executive Location Mountain View, …1d ago
-
Senior-level Full TimeMelbourne, Florida, United States1d ago
-
AWS | Amazon EMR | Amazon SageMaker | Apache Hadoop | Apache SparkMid-level Full TimeChantilly, VA1d ago
-
Lead Data Scientist USD 160K-220KAWS | Cloud Computing | Credit Risk | Credit risk modeling | Databricks401k match | Charitable donation match | Commuter benefits | Flexible time off | Flexible work arrangementSenior-level Full TimeRemote - United States R1d ago
-
Data Scientist - AI/ML USD 87K-105KAWS | ArcGIS | Artificial Intelligence | Azure | Cloud ComputingMid-level Full TimeLanham, MD, US1d ago
-
Data Scientist / Computer Vision Engineer USD 184K-356KAWS | Azure | C++ | Cloud platform | Computer VisionSenior-level Full TimeSunnyvale, California, United States2d ago
-
Data Scientist/Sr Data Scientist, B2B Data USD 71K-95KAWS | Apache Spark | Data Cleansing | Data Governance | Data Integrity401k program | Car discounts | Cruise discounts | Dental benefits | Employee assistance programSenior-level Full TimeFort Worth, TX, US2d ago
-
AWS | Azure | Azure DevOps | CI/CD | Cloud platform401k plan | Commuter benefits | Dental insurance | Employee assistance programs | Employee stock purchase planSenior-level Full TimeUS - Grand Island, NY - …2d ago
-
Data Scientist USD 120K-160KAWS | Adversarial Testing | Agent systems | Data Generation | Data QualityFamily-friendly benefits | Flexible work hours | Medical, dental, and vision coverage | Paid parental leave | Paid time offMid-level Full TimeEnterprise - US, Texas, Frisco, United …2d ago
-
Data Scientist USD 117K-131KAWS | Apache Airflow | CI/CD | Cause analysis | Clustering401k match | Dental insurance | Employee stock purchase plan | Incentive bonus | Medical insuranceMid-level Full TimeChicago, IL, United States R2d ago
-
Government and Public Sector - AI & Data - Data Engineer USD 125K-232KAI Governance | AWS | Automation | Azure | Data Governance401k plan | Medical and dental coverage | Paid Holidays | Paid time off | Pension planMid-level Full TimeKansas City, MO, US, 641082d ago
-
Senior Data Scientist USD 148K-148KARIMA | AWS | Amazon SageMaker | Anomaly Detection | Artificial IntelligenceMedical and other benefitsSenior-level Full TimeWayzata, Minnesota, US United States, 553912d ago
-
AI Governance | AWS | ArcGIS | Azure | Data MiningSecret Clearance abilitySenior-level Full TimeMcLean, VA, US, 22102 R2d ago
-
Mid-level Full TimeUSA, VA, Arlington (1500 Crystal Dr), …2d ago
-
Data Scientist, Mid USD 99K-225KAWS | Artificial Intelligence | Azure | Azure Data | Azure Data FactoryDependent care | Health benefits | Paid leave | Paid training | Professional developmentMid-level Full TimeUSA, CA, El Segundo (101 Continental …2d ago