Applied Scientist, AWS Automated Reasoning
Boston, Massachusetts, USA
USD 167K-260K Mid-level Full Time
Tasks
- Deliver long term measurable impact
- Develop strategic plans for new solutions
- Lead design and implementation of solutions
- Mentor others on advanced technical issues
- Share technical expertise across organizations
- Solve complex scientific problems
Perks/Benefits
- Career growth opportunities
- Flexible work hours
- Learning and training resources
- Mentoring
- Work-life harmony
Skills/Tech-stack
Automated Reasoning | Cloud | Privacy | Program analysis | Programming language | Programming language type systems | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Regions
Countries
States
Cities
Language: en
Views: 0
Clicks: 0
Saves: 0
Related jobs
-
Associate Director - AI/ML Data Scientist USD 127K-204KAnomaly Detection | Apache Spark | Artificial Intelligence | Azure AI | Bias detection401k matching | Company bonus | Employee assistance program | Fitness benefits | Life insuranceMid-level Full TimeUS: USA Remote, United States R1d ago
-
Senior Applied Scientist USD 119K-234KApproximate Nearest Neighbor | Data Analysis | Embeddings | Experiment design | Generative AISenior-level Full TimeUnited States, Washington, Redmond; United States, …2d ago
-
Lead Bioinformatics Scientist - Sample to Answer USD 120K-150KAllele Dropout | AnnotSV | Artificial Intelligence | BLAST | BioinformaticsPaid Time Off Tuition Reimbursement 401k Employee Stock Purchase Plan Medical Dental Vision Life Insurance STD LTDSenior-level Full TimeUSA - CA - San Diego … R5d ago
-
Senior Data Scientist – Generative AI USD 117K-161KAgent systems | Autogen | Azure | Cloud platform | ComplianceSenior-level Full TimeRemote US, United States R5d ago
-
Senior-level Full TimePasadena, CA, United States7d ago
-
Applied Scientist, Automated Reasoning USD 192K-260KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic SearchMid-level Full TimeNew York, New York, USA12d ago
-
Applied Scientist, Amazon Customer Service USD 171K-222KAlgorithms | Artificial Intelligence | Automated Reasoning | Big Data | Data Mining401k matching | Dental insurance | EAP | Flexible spending accounts | Health insuranceMid-level Full TimeSanta Clara, California, USA12d ago
-
Associate Director, Data Scientist USD 210K-272KAPIs | AWS | Agent Framework | Amazon Web Services | Automated testingMid-level Full TimeUS - CA - Foster City, …13d ago
-
Cryptologic Computer Scientist 2 USD 102K-132KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theory401k match | Award Programs | Comprehensive benefits | Health savings account | Paid HolidaysMid-level Full TimeFort Meade, Maryland, United States14d ago
-
Mid-level Full TimeLos Angeles, CA - Health Sciences …16d ago
-
Associate Data Scientist USD 99K-113KAWS | Autogen | Azure | Cloud platform | CrewAIHealthcare campus access | On-site work optionMid-level Full TimeLos Angeles, CA16d ago
-
Cryptologic Computer Scientist 2 USD 103K-181KAlgorithm Analysis | Attack attribution | C++ | Compiler Theory | Computer Architecture401k match | Dental insurance | Disability insurance | Flexible spending plan | Health insuranceMid-level Full TimeFort Meade, MD17d 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, …19d ago
-
Cryptologic Computer Scientist (2026-0184) USD 160K-205KAlgorithm Analysis | Anomaly Detection | Apache Spark | Compiler Theory | Computer ArchitectureComprehensive benefits package | Continuing education | Family support benefits | Financial benefits | Health insuranceMid-level Full TimeAnnapolis Junction, MD R20d ago
-
Senior Computer Scientist USD 135K-237KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theoryPaid time off | Training supportSenior-level Full TimeMD, GA, TX; MD, DC; MD, …22d ago
-
Computer Scientist USD 110K-179KAlgorithm Analysis | Compiler Theory | Computer Architecture | Data Structures | Database theoryPTO | Training supportMid-level Full TimeMD, GA, TX; MD, GA, TX; …22d ago
-
Senior Data Scientist - Media Data Science & Analytics USD 119K-234KCausal Inference | Confounding | Data Analysis | Data Ethics | Experimental MethodsSenior-level Full TimeUnited States, Washington, Redmond; United States, …22d ago
-
Algorithm Analysis | Compiler Theory | Computer Architecture | Cryptography | Data StructuresCareer counseling | Career development plan | Dental insurance | Flexible work-life balance | Health insuranceMid-level Full TimeFort Meade, MD22d ago
-
Applied Scientist, Recommendation, E-Commerce Alliance USD 136K-205KArtificial Intelligence | C++ | Computer Vision | Data Governance | Data MiningSenior-level Full TimeSan Jose, California, United States22d ago
-
Data Scientist / AI Engineer USD 115K-130KAPI Development | Amazon Web Services | Apache Airflow | Apache Kafka | Apache SparkDental insurance | Medical insurance | Paid leave | Professional development | Retirement benefitsSenior-level Full TimeNorfolk, VA23d ago
-
Mid-level Full TimeUnited States26d ago
-
Computer Scientist – Systems Security Research USD 95K-200KAFL | Assembly | C# | C++ | Compiler designMid-level Full TimeLexington, MA, United States1mo ago
-
Cryptologic Computer Scientist 4 USD 135K-216KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Cryptography401k match | Accident insurance | Bereavement leave | Critical illness insurance | Flexible spending planSenior-level Full TimeFort Meade, MD1mo ago
-
Applied Scientist II - AMZ9971140 USD 153K-193KAbstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex OptimizationMedical benefitsMid-level Full TimeSeattle, Washington, USA1mo ago
-
Cryptologic Computer Scientist USD 86K-151KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | CryptographyCareer counseling | Education and Training | Full health premium coverage | Paid retirement contributions | Paid time offMid-level Full TimeFort Meade, MD1mo ago