Applied Scientist, AWS Science of Security
Amazon Web Services (AWS)
Seattle, WA3h agovia LinkedIn
This job at a glance
- Who can apply
- New grads, no experience needed
- Must know
- AWSRustKotlinScalaLean / Six Sigma
- Work
- On-site in Seattle
- Pay
- Not stated by the employer.
- Skill demand
- AWS9%Rust3%Scala2%Kotlin1%of 99 similar entry-level jobs posted in the US this week
- Listed
- Nov 2, 2026 · still open
Sign in free to see which of these skills your resume already shows.
About the Role
Applied Scientists in AWS Science of Security are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for security, privacy, and sovereignty.
Key Responsibilities
- Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
- Own 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 fundamentally new solutions for business problems.
About the Team
This is a unique and rare opportunity to get in early on 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.
Requirements & Tech Stack
- PhD or equivalent research experience
- Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.
- Experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language
Qualifications
- PhD or equivalent research experience
- Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.
- Experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language