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
-
Featured Feat. Data Scientist USD 80K-157KAWS | Airflow | Annotation | Azure | ClassificationHybrid work mode | Professional development opportunitiesMid-levelGeorgetown University: Main Campus: Walsh School …28d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeAustin, Texas, USA9h ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA9h ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA9h ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Cloud | Privacy | Program analysis | Programming languageCareer growth opportunities | Flexible work hours | Learning and training resources | Mentoring | Work-life harmonyMid-level Full TimeBoston, Massachusetts, USA9h ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and development resources | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA9h ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-222KAutomated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysisFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA9h ago
-
Senior Data Scientist - Family Experience USD 221K-263KApache Airflow | Apache Spark | Causal Inference | Deep learning | ExperimentationEquity compensation | Health benefits | Onsite work scheduleSenior-level Full TimeSan Mateo, CA, United States R12h ago
-
Staff Data Scientist (Product & Ops) USD 190K-270KA/B | A/B Testing | B testing | Causal Inference | DBTComprehensive benefits | Hybrid work environment | Onsite work 4 days per weekSenior-level Full TimeNew York, NY13h ago
-
Staff Applied Scientist USD 137K-251KAmazon EMR | Databricks | Deep learning | Distributed Computing | Forecasting401k match | Dental insurance | Disability coverage | Employee stock purchase plan | Health insuranceSenior-level Full TimeSan Jose14h ago
-
Staff Applied Scientist USD 137K-251KAmazon EMR | Databricks | Deep learning | Machine Learning | PyTorch401k | Employee stock purchase plan | Healthcare | Paid Holidays | Paid time offSenior-level Full TimeBellevue14h ago
-
Principal Applied Scientist USD 220K-330KCausal Inference | Causal Machine Learning | Constrained Decision Making | Decision Making | Decision Systems401k matching | Employee stock purchase plan | Equity compensation bonuses | Medical, dental & vision coverage | Paid onsite collaborationSenior-level Full TimeUnited States | Remote R17h ago
-
AI Value Partner, Customer Analytics USD 120K-165KA/B | A/B Testing | Amazon Redshift | B testing | Causal InferenceFlexible vacation time | Gym allowance | Lunches and dinners provided | Medical, dental, and vision plans | Paid parental leaveMid-level Full TimeUnited States (Remote) R18h ago
-
Marketing Intelligence Lead (Data Scientist) USD 115K-204KAnomaly Detection | Attribution Modeling | Automation | CRM | Data Modeling401k match | Career advancement | Dental insurance | Dependent care FSA | Employee assistance programSenior-level Full TimeScottsdale, Onsite18h ago
-
Senior-level Full TimeDenver, Colorado, United States19h ago
-
Sr. Data Scientist USD 162K-238KAWS | Amazon Bedrock | Classification Models | Databricks | Embeddings401k matching | Disability insurance | Health insurance | Learning and development opportunities | Life insuranceSenior-level Full TimeSan Francisco, California, United States R20h ago
-
Data Science Associate USD 99K-145KBusiness Intelligence | Data Modeling | Data Quality | Data Visualization | Data WranglingSenior-level Full TimeDes Moines, IA, United States20h ago
-
Senior Data Scientist USD 138K-188KApache Spark | Big Data | Data Transformation | Evaluation benchmarks | HDFS401k matching | Flexible PTO | Fully stocked kitchen | Health, dental, vision insurance | Hybrid work scheduleSenior-level Full TimeLos Angeles, California, United States21h ago
-
Senior Staff Research Data Scientist, DevIE USD 262K-365KData Modeling | Data Quality | Data Validation | Database querying | Machine LearningSenior-level Full TimeSunnyvale, CA, USA; Kirkland, WA, USA22h ago
-
Senior-level Full TimeRemote, United States R1d ago
-
Senior Applied Scientist - Search USD 200KData Science | Embedding Models | Information Retrieval | Knowledge graphs | Knowledge representation401k retirement | Annual leave | Equity compensation | Growth opportunities | Health insuranceSenior-level Full TimeNew York City R1d ago
-
Machine Learning Scientist, Reinforcement Learning USD 200K-330KCloud Computing | Data Analysis | Dataset curation | Deep learning | Generative Modeling401k match | Dental insurance | Health insurance | Paid time off | Professional developmentMid-level Full TimeEmeryville, California, United States; Hybrid (2-3 … R1d ago
-
Applied Scientist, Sales AI USD 142K-193KA/B | A/B Testing | B testing | Data analytics | ExperimentationMid-level Full TimeSeattle, Washington, USA1d ago
-
Data Scientist/Sustainment Engineer USD 86K-181KAWS | Automation | Azure | Change Management | Cloud ComputingMid-level Full TimeCFO CLASSIFIED VA (NB LOCATION), United …1d ago
-
3D Geometry | 3D Reconstruction | C plus plus | C# | Camera Models401k matching | Dental insurance | Disability coverage | Employee assistance program | Health insuranceSenior-level Full TimeNiskayuna, United States1d ago