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
-
Senior-level Full TimePennsylvania-Remote, United States R1d ago
-
Data Scientist USD 83K-130KAWS | Azure | Convolutional Neural Networks | Csharp | Deep learning401k match | Dental insurance | Medical insurance | Paid time off | Vision insuranceMid-level Full TimeHouston, TX, United States1d ago
-
Data Scientist USD 128K-186KA/B | A/B Testing | AWS | Apache Spark | AzureChild care support | Community service paid time off | Dental coverage | Employee resource groups | Flexible family careMid-level Full TimeDearborn, MI, United States R1d ago
-
Data Scientist USD 150K-190KAWS | DBT | Experiment design | Hierarchical Forecasting | Intermittent Demand401k | Catered lunches | Dental coverage | Equity | Fertility supportMid-level Full TimeNYC Office1d ago
-
Data Scientist USD 150K-250KAWS | AWS Cloud | AWS Cloud Development Kit | AWS IAM | AWS Lambda401k matching | Award Programs | Dental insurance | Health insurance | Health savings accountMid-level Full TimeReston, Virginia, United States1d ago
-
Senior Lead Data Scientist, Graph & Forecasting USD 120K-155KAWS | Anomaly Detection | Change Point | Change point detection | ClusteringSenior-level Full TimeUSA (Westport, CT), United States2d ago
-
AWS | Agentic Workflows | Azure | BAM | BEDEntry-level Full TimeUS: Boston MA Lilly Seaport Innovation …2d ago
-
Lead Software Engineer, Data Scientist USD 120K-170KAI Agents | AI Governance | AI Observability | AI orchestration | API Development401k match | Back-Up childcare | Commuter benefits | Comprehensive healthcare | Disability insuranceSenior-level Full TimeUSA - PA - Oaks, United …2d ago
-
Senior-level Full TimeCharlotte, United States2d ago
-
Senior GNSS Data Scientist USD 104K-174KAWS | C# | C++ | Digital Signal | Digital Signal ProcessingEmployer paid basic medical coverage | Paid Holidays | Paid sick time | Paid vacation | Retirement contributionsSenior-level Full TimePICKLE RESEARCH CAMPUS, United States2d ago
-
Senior Data Scientist USD 125K-200KAI Deployment | AI Explainability | AI Governance | AWS | AgileCareer development opportunities | Employee wellness support | Flexible benefits | In-office collaboration | Inclusive work cultureSenior-level Full TimeCharlotte, United States2d ago
-
Data Engineer (TS/SCI with Full Scope Polygraph) {S} USD 130K-190KAWS | Apache Spark | Artificial Intelligence | Containerization | Data Normalization401k plan | Comprehensive medical/vision/dental insurance | Employee assistance program | Flexible scheduling | HSA contributionsSenior-level Full TimeKing Of Prussia, Pennsylvania, United States2d ago
-
AWS | Artificial Intelligence | Azure | Bayesian Modeling | Bicep401k matching | Flexible hours | Healthcare options | Travel for client meetings | Work from homeSenior-level Full Time99 High Street, Boston, MA 02110, … R3d ago
-
Data Scientist Lead-Vice President USD 150K-195KAI tools | AWS | Data Governance | Data Modeling | Data QualityBackup childcare | Financial coaching | Health care coverage | Mental health support | Onsite health and wellness centersSenior-level Full TimeColumbus, OH, United States4d ago
-
AWS | Azure | Cloud Computing | Computer Vision | Data Preprocessing401k | Dental insurance | Health insurance | Paid time off | Vision insuranceSenior-level Full TimeSouth San Francisco, CA, United States4d ago
-
AI Data Scientist Lead USD 176K-210KAWS | Data Engineering | Data Modeling | Data Pipelines | Data VisualizationBackup childcare | Financial coaching | Health care coverage | Mental health support | On-site health and wellness centersSenior-level Full TimeNew York, NY, United States4d ago
-
Principal Consultant, Palantir Data & AI Engineer USD 135K-200KAPIs | AWS | Apache Airflow | Apache Spark | AzureSenior-level Full TimeAtlanta4d ago
-
Senior Data Scientist USD 125K-135KAWS | Azure | Classification | Cloud Computing | ClusteringClient Embedded Work | Hybrid work | MentoringSenior-level Full Time135 W 26th Street, New York, …4d ago
-
Senior-level Full TimeFAIRFAX, VA, United States4d ago
-
Sr. Data Scientist, Elastic USD 180K-200KAWS | Agile | Azure | Cloud platform | ElasticsearchProfessional development | Remote work | Travel as neededSenior-level Full TimeWork from home, VA, United States4d ago
-
Sr. Data Scientist, Elastic USD 175K-200KAWS | Agent-based | Agent-based AI | Agile | AzureContingent on contract award | Remote work | Travel to customer sites | U S security clearance sponsorshipSenior-level Full TimeWork from home, VA, United States4d ago
-
Data Scientist USD 130K-140KAWS | Artificial Intelligence | Azure | Azure Data | Azure Data FactorySenior-level Full TimeArlington, VA, United States4d ago
-
Senior Data Scientist USD 150K-225KAWS | Artificial Intelligence | Azure | Cloud Computing | Generative AIBonus incentives | On-site collaborationSenior-level Full TimeAustin, TX, United States4d ago
-
Entry-level Full TimeLas Vegas, NV, United States5d ago
-
Data Scientist USD 98K-163KAPI | AWS | Azure | Data Modeling | Databricks401k retirement plan | Adoption Assistance | Certifications | Community outreach | Dental insuranceMid-level Full TimeGH Office: Arlington, VA, United States5d ago