A

Amazon

Sells products online and rents cloud computing

Applied Scientist - AWS Science of Security

AI ResearchUpdated on Nov 11
Full-timeIn-person

About the Job

Requirements

  • A PhD or equivalent research experience is required.
  • Experience in at least one of the following areas is required: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.

Responsibilities

  • Solve large or significantly complex problems requiring deep knowledge and understanding of the domain and scientific innovation.
  • Own the design, implementation, and delivery of solutions that have a long-term quantifiable impact.
  • Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing deep knowledge and experience.
  • Develop fundamentally new solutions for business problems.

Desired Qualifications

  • Experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, or a related language.

About the Company

Amazon

Sells products online and rents cloud computing

Amazon runs the largest online store in the United States and rents cloud computing to businesses and governments through Amazon Web Services. AWS pioneered renting computing power over the internet, and Amazon built its own delivery network to get orders to customers quickly. Shoppers buy from Amazon and from independent sellers on its store, and Prime members pay a subscription for fast free shipping, streaming video and music, and other perks. AWS rents out computing power, storage, databases, and AI tools so companies can run software without owning servers, and Amazon also makes Kindle e-readers and Echo speakers with the Alexa assistant. Jeff Bezos founded Amazon in 1994, and it is based in Seattle, Washington.

Company size
10,001+
Company stage
IPO
Headquarters
Seattle, WA
Founded
1994

Recently Posted Jobs

Explore more opportunities at Amazon

See more jobs