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, USA8h 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, USA8h 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, USA8h 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, USA8h 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, USA8h 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, USA8h 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 R11h 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, NY12h 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) R17h 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, Onsite17h ago
-
Senior-level Full TimeDenver, Colorado, United States18h 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 R19h ago
-
Data Science Associate USD 99K-145KBusiness Intelligence | Data Modeling | Data Quality | Data Visualization | Data WranglingSenior-level Full TimeDes Moines, IA, United States19h 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 States20h 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, USA21h 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
-
Bioinformatics Scientist I - Genetics USD 90K-105KArtificial Intelligence | BLAST | Bioinformatics | Bowtie | Computational Biology401k | Dental insurance | Employee stock purchase plan | Flexible time off | Life insuranceEntry-level Full TimeUSA - CA - San Diego …1d ago
-
Computer Scientist / Data Scientist USD 100K-155KC++ | Data Analysis | Data Visualization | Java | Machine LearningHigh security clearance | On-site workMid-level Full TimeWright Patterson Air Force Base, OH1d ago
-
Data Scientist USD 98K-228KAmazon SageMaker | DBT | Experiment design | Great Expectations | MLOpsHybrid work environmentMid-level Full TimeSan Jose (CA), United States1d ago
-
Clinical Data Scientist, FDA (Jr.) USD 90K-120KADaM | Adobe Acrobat | Adverse Event | Adverse event analysis | BiostatisticsUST Government Public Trust clearance requiredEntry-level Full TimeSilver Spring, MD1d ago
-
Clinical Data Scientist, FDA (Mid) USD 95K-125KADaM | Adobe Acrobat | Adverse Events | CDISC | Causal analysisMid-level Full TimeSilver Spring, MD1d ago