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
-
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
-
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
-
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 R4d 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, …5d 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; …5d 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, …5d 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, MD5d ago
-
Applied Scientist, Recommendation, E-Commerce Alliance USD 136K-205KArtificial Intelligence | C++ | Computer Vision | Data Governance | Data MiningSenior-level Full TimeSan Jose, California, United States5d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCoq | Dafny | Formal verification | Haskell | IsabelleFlexible work hoursSenior-level Full TimePortland, Oregon, USA7d 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, VA7d ago
-
Mid-level Full TimeUnited States9d ago
-
Computer Scientist – Systems Security Research USD 95K-200KAFL | Assembly | C# | C++ | Compiler designMid-level Full TimeLexington, MA, United States16d 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, MD23d ago
-
Data Scientist I USD 85K-105KBias and fairness | Calibration | Classification | Clustering | Data AnalysisMid-level InternshipPasadena, United States; Pasadena, TX, United …24d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA26d ago
-
Applied Scientist, AWS Science of Security USD 142K-223KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT401k matching | Adoption reimbursement | Dental insurance | EAP | Flexible spending accountsMid-level Full TimeSeattle, Washington, USA26d ago
-
Applied Scientist II - AMZ9971140 USD 153K-193KAbstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex OptimizationMedical benefitsMid-level Full TimeSeattle, Washington, USA27d 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, MD28d ago
-
AI/ML Lead USD 150K-250KAnalytics | Conversational AI | Data Governance | Evaluation Frameworks | Hallucination mitigation401k plan | Commuter benefits | Employee assistance program | Health insurance | Hybrid work environmentSenior-level Full TimeNew York, NY, United States30d ago
-
Artificial Intelligence | Compliance | Experimentation | GenAI | Language ModelsSenior-level Full TimeUnited States, Washington, Redmond1mo ago
-
Cryptologic Computer Scientist-2 USD 87K-157KAlgorithm Analysis | Algorithm Design | Attack attribution | Compiler Theory | Computational Science401k match | Discounted stock purchase plan | Education and training support | Flexible schedules | Paid HolidaysMid-level Full Time3325 Fort George G. Meade MD, …1mo ago
-
Staff Quantum Algorithm Theorist USD 190K-290KComplexity Theory | Computational Complexity | Computational Complexity Theory | Error correction | Fault-tolerant401k plan | Dental coverage | Healthcare benefits | Life insurance | Mental health supportSenior-level Full TimeCambridge, US1mo ago
-
Senior Data Scientist, People and Talent USD 160K-250KAccess Control | Automation | Causal Inference | DBT | DashboardsSenior-level Full TimeUS - San Francisco1mo ago
-
Cryptologic Computer Scientist USD 100K-185KAlgorithm Analysis | Apache Spark | Compiler Theory | Computational Science | Computer ArchitectureSenior-level Full TimeAnnapolis Junction, MD, Laurel, MD1mo ago