Join Our Team as an Applied Scientist in Automated Reasoning at Amazon EC2

Are you driven by the challenge of applying formal verification, program analysis, constraint-solving, and theorem proving to address real-world issues? At Amazon EC2, we are looking for a pioneer to develop products that simplify user experiences, enhance security measures, and boast proven correctness using Automated Reasoning techniques.

What Will You Do?

In this impactful role within the EC2 and EC2 Networking teams, you will collaborate with both internal teams and external customers to analyze and understand their networking needs. Your expertise will be vital in designing solutions, building software prototypes, and transitioning these prototypes into operational systems with the aid of robust software development practices. Furthermore, you will scale solutions to craft to the increasing demands of our customers. This position also offers the unique opportunity to engage with the academic community and to contribute by publishing your groundbreaking work.

Inclusive Team Culture

Our commitment at AWS extends beyond technological advancement to fostering an inclusive workplace. With over 40,000 employees participating in 190 chapters worldwide through our affinity groups, our efforts in inclusion are evident in everything we do. We're proud of our ongoing initiatives such as Conversations on Race and Ethnicity (CORE) and AmazeCon, coupled with a wide array of innovative benefits.

Work/Life Balance

We place a substantial emphasis on maintaining a work-life balance. At Amazon, it's not about the number of hours you spend at work or home, but about creating a rhythm that infuses your life with energy. With flexible working hours, we empower you to discover and establish harmony between your professional and personal life.

Mentorship & Career Growth

Our team is dedicated to nurturing its members, offering a mixture of expertise levels and tenure for fostering an environment ripe for mentorship. Senior team members provide personalized mentoring and conduct thorough and respectful code reviews. We prioritize your career development and align projects that enhance your skills and allow tackling more intricate challenges in the future.

Job Location Options

Ready to innovate from one of our key locations? We are open to hiring candidates to work out of Minneapolis, MN, or Portland, OR.

Qualifications

Basic Qualifications:

• PhD in a relevant field
• Proficiency in programming languages such as C/C++, Python, Java, or Perl

Preferred Qualifications:

• Experience with networking technologies and protocols
• Experience with SMT (Satisfiability Modulo Theories)

Amazon is an equal opportunity employer, deeply committed to fostering an environment of diversity and inclusion. We do not discriminate based on race, nationality, gender identity, sexual orientation, disability, age, or other legally protected status. We also provide accommodations for individuals with disabilities (see our official site for details).

Are you ready to innovate and transform the industry with us? Apply now and redefine the future with Amazon EC2.