Amazon Web Services, Inc.
Technology
AppliedScientist,AWSAutomatedReasoning
Neural analysis suggests this role is
optimal for Mid+ candidates.
“Applied Scientist, AWS Automated Reasoning at Amazon Web Services, Inc.. Skills: Automated reasoning, Program analysis, Theorem proving. Solve complex problems. Design solutions”
What You'll Achieve.
Long-term quantifiable impact
Industry & Context.
Strategic problem solving
What They're Looking For.
Must Have
PhD or Master's degree, 6+ years applied research, Experience in SAT, Experience in SMT, Experience in mechanical theorem proving, Experience in symbolic simulation, Experience in programming language type systems, Experience in program analysis
Nice to Have
Experience programming in O'Caml, Experience programming in Dafny, Experience programming in Haskell, Experience programming in Kotlin, Experience programming in Lean, Experience programming in Rust, Experience programming in Scala
What You'll Do.
Solve complex problems
Provide technical influence
Share knowledge and experience
Develop strategic plans
Identify new solutions
Assist in career development
How You'll Work.
Team & Collaboration
Cross-organizational collaboration
Full Job Description
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. Key job responsibilities The successful candidate will: - 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. A day in the life 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. About the team Diverse 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. Why Amazon Automated Reasoning? At Amazon, automated reasoning is central to maintaining customer trust and delivering delightful customer experiences. Our organization is responsible for creating and maintaining a high bar for automated reasoning across all of Amazon's products and services. We offer talented automated reasoning professionals the chance to accelerate their careers with opportunitie
Applying for this Applied Scientist, AWS Automated Reasoning role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon Web Services, Inc.?
Real rants from real employees. Read before you apply.