Applied Scientist, AWS Automated Reasoning
Austin, Texas, USA
USD 142K-193K Mid-level Full Time
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
Language: en
Views: 2
Clicks: 0
Saves: 0
Related jobs
-
Mid-level Full TimeSan Antonio, TX2d ago
-
AI Foundry | AWS | Agentic AI | Azure AI | Azure AI FoundryEmployee referral program eligibility | Flexible schedule | Generous benefitsEntry-level Full TimeVienna, VA, United States2d ago
-
Mid-level Full TimeRemote, USA R2d ago
-
Senior/Staff Data Scientist USD 155K-185KA/B | A/B Testing | AWS | Agentic AI | B testing401k match | Commuter benefits | Dental insurance | Life insurance | Long-Term Disability coverageSenior-level Full TimeBoulder, Colorado2d ago
-
Data Scientist USD 165K-250KAWS | Azure | Dash | Data Quality | Knowledge graphsComprehensive benefits packageMid-level Full TimeNew York, New York, United States …3d ago
-
Cryptologic Computer Scientist 2 USD 119K-132KAgile methodology | Algorithm Analysis | Cloud Computing | Compiler Theory | Computer ArchitectureMid-level Full Time2701 Technology Drive, Annapolis Junction, MD, …3d ago
-
Senior Specialist, Data Science USD 129K-203KAPI | AWS | Agent Orchestration | Bayesian Modeling | Bayesian NetworksHybrid work | Relocation assistance | Visa sponsorshipSenior-level Full TimeUSA - Pennsylvania - West Point, …3d ago
-
AWS | Apache Spark | Classification | Clustering | CondaSenior-level Full TimeMcLean, VA, United States3d ago
-
Data Scientist/Analyst - 29733 USD 144K-190KAWS | Apache Superset | Azure | CVE | Cloud platform401k employer contribution | Education/training allowances | Healthcare dental vision coverage | Paid Holidays | Paid time offSenior-level Full TimeFort Meade, MD, Maryland, United States3d ago
-
AI Data Scientist USD 114K-218KAWS | Cloud platform | DBSCAN | Decision Trees | Generative AI401k | Adoption Assistance | Career path planning | Continuing education | Hybrid/Remote flexibilityMid-level Full TimeSan Antonio Home Office I, United … R3d ago
-
AI & GenAI Data Scientist-Director USD 155K-410KAI Model Deployment | AI model | AWS | Analytics | Artificial IntelligenceExecutive-level Full TimeNew York - 300 Madison Avenue, …3d ago
-
Senior Data Engineer USD 78K-156KAWS | C++ | Data Modeling | Databases | DatabricksFree medical coverage tuition reimbursement tuition benefits retirement savings planSenior-level Full TimeUnited States - Des Plaines : …3d ago
-
2026 Fall Intern, Digital Health Algorithms USD 88K-126KAWS | Amazon SageMaker | Android | Artificial Intelligence | C++Entry-level Internship665 Clyde Avenue, Mountain View, CA, …3d ago
-
A/B | A/B Testing | AWS | B testing | CI/CD401k | Commuter benefits | Dental insurance | Educational assistance | Health savings accountSenior-level Full TimeNew York, United States R3d ago
-
Sr. Data Scientist USD 160K-180KAWS | D3.js | Data Pipelines | Data Visualization | LLM401k | Dental insurance | Education assistance | Employee assistance program | Flexible PTOSenior-level Full TimeNew York, United States3d ago
-
Sr. Data Scientist USD 162K-238KAWS | Amazon Bedrock | Classification | Databricks | Embeddings401k matching | Disability insurance | Equipment and Support | Health insurance | Learning and developmentSenior-level Full TimeSan Francisco, California, United States3d ago
-
Data Scientist USD 115K-130KAWS | Apache Spark | Azure | Classification | Clustering401k match | Medical, dental, and vision coverage | Paid time off | Professional developmentMid-level Full TimeUnited States-Illinois-Wood Dale3d ago
-
Data Scientist USD 115K-130KAB Testing | AWS | Apache Spark | Azure | Classification401k match | Dental insurance | Medical insurance | Paid time off | Professional developmentMid-level Full TimeUnited States-Illinois-Wood Dale3d ago
-
Staff Data Scientist– Pricing Science USD 154K-196KAWS | Causal Inference | Classification | Data leakage | Data leakage detection401k match | Dental insurance | Employee discounts | Medical insurance | Paid time offSenior-level Full TimeSan Fransisco, CA R3d ago
-
Research Scientist - Computational Biologist USD 85K-143KAWS | Alphafold | Antibody engineering | Cloud Computing | De Novo401k matching | Employee resource groups | Flexible work arrangements | Hybrid work environment | Paid time offNone Full TimeIndianapolis, IN, United States4d ago
-
Applied Scientist, Neuron ARG, Annapurna ML USD 171K-222KAccelerator design | Artificial Intelligence | Compiler design | Deep learning | Intermediate representation401k matching | Adoption and surrogacy reimbursement | Employee assistance program | Flexible spending accounts | Health insuranceMid-level Full TimeSeattle, Washington, USA4d ago
-
Senior Applied Scientist, Annapurna ML USD 192K-260KArtificial Intelligence | Compiler | Deep learning | Generative AI | Intermediate representation401k matching | Dental insurance | Employee assistance program | Flexible spending accounts | Health insuranceSenior-level Full TimeSeattle, Washington, USA4d ago
-
Senior Data Scientist USD 103K-172KAWS | Causal Inference | Classification | Clustering | Data Analysis401k match | Dental insurance | Employee assistance program | Employee discounts | Life insuranceSenior-level Full TimeCHICAGO, IL, US, 60661-4555 R4d ago
-
CT_NITRO Experimental AI Engineer USD 92K-173KAWS | Azure | Batch Processing | Big Data | Cloud Computing401k plan | Flexible vacation policy | Hybrid work model | Medical and dental coverage | Paid HolidaysSenior-level Full TimeAlpharetta, GA, US, 30009 R4d ago
-
Sr. Data Scientist- Operations Research USD 122K-165KAPI Development | AWS | Automation | Azure | Cloud Computing401k | Accident insurance | Career development | Consumer Classes | Critical illness insuranceSenior-level Full TimeSSC - MD, United States4d ago