Amazon Web Services, Inc.

Technology

AppliedScientist,AWSAutomatedReasoning

$100–226k Austin, Texas, United States FULL TIME
Market Sentiment
HIGH DEMAND

Neural analysis suggests this role is
optimal for Mid+ candidates.

The Brief

“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.

Technology
Problems you'll solve

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

Free ATS check

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.

Read Company Rants →