web analytics

Sr Software Engineer, S3 Automated Reasoning Group

Amazon

Our mission: To be Earth's most customer-centric company.

DESCRIPTION

Job summary
Managing trillions of objects in storage, retrieving them in sub-x ms, building software that deploys to tens of thousands of hosts, achieving 99.999999999% (you didn’t read that wrong, that’s 11 nines!) durability. These are just a few of the numbers that give you a sense of the scale of the exciting problems you will find every day working in Simple Storage Service (S3). Amazon S3 powers businesses across the globe that make the lives of consumers better daily. Whether its electronic content delivered to your home, technology that betters your remote working experience, allows you to plan travel to exotic places or simply get stuff delivered to your home. As a Sr. Software Development Engineer in S3, you get to deliver these capabilities and delight our customers through teams of talented engineers and leaders.

S3’s Automated Reasoning Group (S3-ARG) develops and applies automated reasoning techniques to deliver correct, secure, durable, and available distributed systems and storage services. We work on techniques ranging from deductive proofs to model checking, from static analysis to runtime verification of protocols. We work both at the design and the code level, and connecting the two is essential for us. We partner with development teams to make sure that our methods are deployed across S3 and that correctness is maintained as the software evolves. As a Sr. Software Development Engineer in S3-ARG, you not only contribute to the design, implementation, and integration of high-quality formal artifacts into service team pipelines but also help to define the technology strategy for integrating automated reasoning at scale in S3 software development processes. Furthermore, you lead software development best practice initiatives within the context of automated reasoning artifacts and tooling.

Our team works together to provide work/life balance for all team members. We recognize that the circumstances of our team members vary, and we balance work across the team so that we’re all able to maintain high standards on behalf of our customers, while at the same time allowing for rich and happy personal lives.

In AWS, if you build it, you own it. S3 is a highly available 7×24 worldwide service requiring dedicated support from our engineering teams. We pride ourselves on a high level of ownership in the work we do. This means we hold a high bar for test automation, verification processes, design and code reviews to ensure that our systems meet the exacting standards our customers demand. We maintain a regular on-call rotation across our teams with engineers and managers all taking part to resolve the inevitable issues that arise. We work hard to minimize getting paged in the middle of the night as we recognize that a well-rested employee is a productive employee.

Upon joining S3, every employee is paired with a peer buddy who will help you to quickly come up to speed in understanding the technology we’re building, the tools we use and the business problems we’re trying to solve. We hire exceptional people and we recognize the importance of coaching others. We have a formal mentor search application that lets you find a mentor that works best for you based on location, job family, and job level. On our internal “Broadcast” video streaming website, you’ll find countless presentations by some of the brightest minds in computing discussing solutions to many of the exciting problems we’re solving in AWS today with new live-streaming videos added every week.

We have a diverse team and drive towards an inclusive culture and work environment. Our team is intentional about attracting, developing, and retaining amazing talent from diverse backgrounds. Our team members are active in Amazon’s 10+ affinity groups, sometimes known as employee resource groups, which bring employees together across businesses and locations around the world. These range from groups such as the Black Employee Network (BEN), Amazon Women in Engineering (AWE) and Glamazon (our LGBTQ+ community).

Key job responsibilities
As a Sr. Software Development Engineer in S3-ARG, you not only contribute to the design, implementation, and integration of high-quality formal artifacts into service team pipelines but also help to define the technology strategy for integrating automated reasoning at scale in S3 software development processes. Furthermore, you lead software development best practice initiatives within the context of automated reasoning artifacts and tooling.

About the team
S3’s Automated Reasoning Group (S3-ARG) develops and applies automated reasoning techniques to deliver correct, secure, durable, and available distributed systems and storage services. We work on techniques ranging from deductive proofs to model checking, from static analysis to runtime verification of protocols. We work both at the design and the code level, and connecting the two is essential for us. We partner with development teams to make sure that our methods are deployed across S3 and that correctness is maintained as the software evolves.

BASIC QUALIFICATIONS

  • 2+ years of experience contributing to the architecture and design (architecture, design patterns, reliability and scaling) of new and current systems
  • 3+ years of programming experience with at least one modern language such as Java, C++, or C# including object-oriented design
  • 4+ years of professional software development experience
  • 2+ years of experience as a mentor, tech lead OR leading an engineering team

• Bachelor’s Degree in Computer Science or related field
• Equivalent experience to a Bachelor’s degree based on 3 years of work experience for every 1 year of education
• 5+ years professional experience in software development
• Experience taking a leading role in building complex software systems that have been successfully delivered to customers
• Proficiency in, at least, one formal verification technique such as model-checking, deductive verification, or run-time verification.
• Proficiency in, at least, one modern programming language such as C, C++, C#, Java, or Perl

PREFERRED QUALIFICATIONS

-Masters Degree in Computer Science or related field

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.

To apply for the job click here

Sr Software Engineer, S3 Automated Reasoning Group

To apply for the job click here

Contact us

Amazon

Our mission: To be Earth's most customer-centric company.

Related Jobs