Applied Scientist, AWS Automated Reasoning
Tasks
- Deliver long term quantifiable impact
- Develop strategic plans for new solutions
- Lead solution design and implementation
- Mentor engineers and scientists
- Share technical expertise across teams
- Solve complex domain problems
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Privacy | Program analysis | Programming language | Programming language type systems | SAT | SMT | Symbolic simulation | Theorem Proving | Type Systems
Education
Roles
Related jobs
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Dafny | Haskell | Kotlin | Lean401k matching | Flexible work hours | Health insurance | Paid time off | Parental leaveMid-level Full TimeSeattle, Washington, USA1d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hoursSenior-level Full TimeSeattle, Washington, USA1d 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, USA2d 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, USA2d ago
-
Applied Scientist II - AMZ9971140 USD 153K-193KAbstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex OptimizationMedical benefitsMid-level Full TimeSeattle, Washington, USA3d 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, MD5d ago
-
Artificial Intelligence | Compliance | Experimentation | GenAI | Language ModelsSenior-level Full TimeUnited States, Washington, Redmond7d 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, …8d 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, US8d ago
-
Senior Data Scientist, People and Talent USD 160K-250KAccess Control | Automation | Causal Inference | DBT | DashboardsSenior-level Full TimeUS - San Francisco14d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Apache Spark | Cloud technologies | Compiler Theory | Computer ArchitectureHybrid workMid-level Full TimeAnnapolis Junction, MD, USA, 2070115d ago
-
Principal Data Scientist USD 142K-304KData Analysis | Data Ethics | Data cleaning | Debugging | Machine LearningTravel opportunitiesSenior-level Full TimeUnited States, Texas, Houston; United States, …16d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCloud Security | Dafny | Haskell | Kotlin | Language theoryFlexible work hours | Mentorship | Paid time off | Parental leave | Training resourcesSenior-level Full TimeSeattle, Washington, USA22d ago
-
Director I, Data Science, People, Purpose & Brand USD 132K-211KAPIs | Agentic Systems | Bias Mitigation | CI/CD | Cloud ComputingEmployee resource groups | Professional development | Remote work | Telecommuting | Travel up to 10%Executive-level Full TimeRemote, Remote, United States R23d ago
-
Cryptologic Computer Scientist USD 100K-185KAlgorithm Analysis | Apache Spark | Compiler Theory | Computational Science | Computer ArchitectureSenior-level Full TimeAnnapolis Junction, MD, Laurel, MD24d ago
-
Data Scientist USD 140K-166KA/B | A/B Testing | Amazon Redshift | Amplitude | Apache AirflowComprehensive benefits | Flexible work environment | Leadership visibilitySenior-level Full TimeSAN FRANCISCO, CA, USA24d ago
-
Senior-level Full TimeRemote, United States R25d ago
-
Senior Data Scientist USD 130K-160KA/B | A/B Testing | B testing | Causal Inference | Data Visualization401k match | Company provided housing for 90 days | Company-Provided Technology Package | Flexible vacation | Health savings accountSenior-level Full TimeSan Francisco R29d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeAnnapolis Junction, MD, USA, 207011mo 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, USA1mo 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, USA1mo 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, USA1mo ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Machine Learning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Training and career growth | Work-life balanceSenior-level Full TimeSeattle, Washington, USA1mo 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, USA1mo 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, USA1mo ago