Vacancy expired!
DescriptionJob summaryAmazon Web Services (AWS) is the world leader in providing a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world!We need Developers who move fast, are capable of breaking down and solving complex problems, and have a strong will to get things done. Developers at Amazon work on real world problems on a global scale, own their systems end to end and influence the direction of our technology that impacts hundreds of millions of customers around the world.The challenges SDEs solve for at Amazon are big and influence millions of customers, sellers, and products around the world. We are looking for individuals who are passionate about creating new products, features, and services from scratch while managing ambiguity and the pace of a company where development cycles are measured in weeks, not years.If this sounds interesting to you, apply and come chart your own path at Amazon.Mentorship & Career GrowthOur team is dedicated to supporting new team members in an environment that celebrates knowledge sharing and mentorship. Projects and tasks are assigned in a way that leverages your strengths and helps you further develop your skillset.Inclusive Team CultureHere at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.Work/Life HarmonyOur team puts a high value on work-life harmony. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility and encourage you to find your own balance between your work and personal lives.Key job responsibilities Collaborate with experienced cross-disciplinary Amazonians to conceive, design, and bring innovative products and services to market. Design and build innovative technologies in a large distributed computing environment and help lead fundamental changes in the industry. Create solutions to run predictions on distributed systems with exposure to innovative technologies at incredible scale and speed. Build distributed storage, index, and query systems that are scalable, fault-tolerant, low cost, and easy to manage/use. Design and code the right solutions starting with broadly defined problems. Work in an agile environment to deliver high-quality software.About the teamAWS has the most services and more features within those services, than any other cloud provider–from infrastructure technologies like compute, storage, and databases–to emerging technologies, such as machine learning and artificial intelligence, data lakes and analytics, and Internet of Things. AWS Systems Manager is the operations hub for the AWS cloud. Many customers from startups to enterprises are running their entire infrastructure or parts of it in AWS. Operating this infrastructure in the cloud in a reliable way is absolutely important to our customers and we are a core part of that story. Many IT administrators and DevOps engineers rely on Systems Manager to operate their infrastructure safely and securely at scale. Systems Manager provides a unified operational dashboard to view operational data from multiple AWS services, manage large fleet of instances, manage their distributed applications as a single unit and automate their operational tasks/runbooks and define safe operational workflows.You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams. Our vision is to provide solutions that are proven correct without compromising performance.BASIC QUALIFICATIONSProgramming experience with at least one software programming language.
1+ years of experience in software development
PREFERRED QUALIFICATIONS Bachelor's/Master's Degree in Computer Science or related field. Detailed knowledge of compiler architectures Formal verification experience with automated program analyzers Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiencesAmazon 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.
Full-time