All jobsApply now
Senior Applied Scientist, AWS Science of Security
Amazon
Portland, ORFull-time$167,100 – $226,100 / yearly
Job details
Pay
$167,100 – $226,100 / yearly
Job type
Full-time
Work setting
On-site
Location
Portland, OR
Posted
Posted 2 months ago
Full job description
AWS Science of Security is 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 job 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
Also hiring in Arlington VA, Seattle WA, and New York NY; this listing covers the Portland, OR location.
Qualifications
- PhD, or Master's degree and 6+ years of applied research experience
- Experience in mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, or program analysis
- Preferred: experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language
- Preferred: experience with proof assistants or verification languages such as Lean, Dafny, Isabelle, or Rocq
TechAI
Ready to apply?
Apply on the company siteYou’ll be taken to an external site to complete your application.