Applied Scientist, AWS Automated Reasoning

Applied Scientist, AWS Automated Reasoning

Job :  | Amazon Web Services, Inc.

Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for automated reasoning, privacy, and sovereignty.

• Solve large or significantly complex problems that require deep domain knowledge and scientific innovation.
• Own strategic problem solving and lead the design, implementation, and delivery of solutions with long‑term quantifiable impact.
• Provide cross‑organizational technical influence, increasing productivity and effectiveness by sharing 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.

• Ph.D. in computer science, computer engineering, or a related field.
• 4+ years of applied research experience.
• Experience in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.

• Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, or related languages.

Base salary range: 171,600 – 222,200 USD (Santa Clara, CA) and 142,800 – 193,200 USD (Boston, MA).

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. Los Angeles County applicants: job duties for this position include working safely and cooperatively with other employees, supervisors, and staff; adhering to standards of excellence; communicating effectively and respectfully; and following all federal, state, and local laws and company policies.

Criminal history may have an adverse relationship with some duties. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider qualified applicants with arrest and conviction records.