Sr. Applied Scientist, AWS Automated Reasoning
Listed on 2026-06-18
-
IT/Tech
AI Engineer (Applied/Software), Machine Learning/ ML Engineer, Data Analyst, Data Scientist
Sr. Applied Scientist, AWS Automated Reasoning
Amazon Web Services, Inc.
Key Responsibilities- Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
- Own strategic problem solving, and take the lead on the design, implementation, and delivery for solutions that have a long-term quantifiable impact.
- Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing your deep knowledge and experience.
- Develop strategic plans to identify fundamentally new solutions for business problems.
- Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues.
This is a unique and rare opportunity to get early exposure to a fast growing segment of AWS and help shape the technology, product, and the business. You will have a chance to utilize your deep technical experience within a fast-moving, start‑up environment and make a large business and customer impact.
About the TeamDiverse Experiences Amazon Automated Reasoning values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn't followed a traditional path, or includes alternative experiences, don't let it stop you from applying.
Basic Qualifications- PhD, or Master’s degree
- Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.
- Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language.
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
Salary and BenefitsSalary ranges by location:
USA, CA, Santa Clara – – USD annually
USA, MA, Boston – – USD annually
USA, NY, New York – – USD annually
USA, OR, Portland – – USD annually
USA, TX, Austin – – USD annually
USA, WA, Seattle – – USD annually
Benefits include health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and options for supplemental life plans), EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage, 401(k) matching, paid time off, and parental leave.
#J-18808-Ljbffr(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).