> Markdown version of [/jobs/ext/1792788-sr-software-development-engineer-automated-reasoning-group](https://www.wearedevelopers.com/jobs/ext/1792788-sr-software-development-engineer-automated-reasoning-group). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Sr. Software Development Engineer, Automated Reasoning Group - **Company:** Amazon.com, Inc. - **Location:** New York, NY, United States - **Experience:** Expert - **Contract:** Internship / Graduate position - **Skills:** Amazon Web Services, Code Review, Computer Programming, Software Design Patterns, Distributed Computing Environment, Distributed Data Store, Distributed Systems, Fault Tolerance, Software Engineering, Build Management, Information Technology, Build Process, Formal Methods, Software Coding, Software Version Control, Programming Languages - **Published:** July 16, 2026 - **Apply:** https://www.jobmonkeyjobs.com/career/27854334/Sr-Software-Development-Engineer-Automated-Reasoning-Group-New-York-New-York-7375 ## About the Role We are seeking a talented and passionate Senior Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services., 5+ years of non-internship professional software development experience - 5+ years of programming with at least one software programming language experience - 5+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience - Experience as a mentor, tech lead or leading an engineering team, 5+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience - Bachelor's degree in computer science or equivalent - Automated Reasoning or formal methods experience or interest ## Description As a Senior Software Engineer on this team, you will design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases, contribute to the evolution of Automated Reasoning Checks, and help make the power of automated reasoning more readily available within AWS and for our customers. Delivering a reliable and high-performance service at AWS scale requires engineers with deep technical expertise and boundless creativity. At Amazon, we also expect engineers like you to interact with internal and external customers, to understand our business goals, and to innovate rapidly, delivering high-quality and ground-breaking functionality. What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You're excited about rolling up your sleeves, implementing big ideas, and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generation of applications. You're somebody who knows how to be both productive and have fun with others. This role also offers the opportunity to work alongside world-class technical and scientific leaders in the automated reasoning discipline. 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. * Ability to design and code the right solutions starting with broadly defined problems. * Work in an agile environment to deliver high-quality software. About the team Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we're building an environment that celebrates knowledge-sharing and mentorship. Our senior members enjoy one-on-one mentoring and thorough, but kind, code reviews. We care about your career growth and strive to assign projects that help our team members develop your engineering expertise so you feel empowered to take on more complex tasks in the future. ## Related Videos - [Fireside Chat - In conversation with Werner Vogels, CTO of Amazon.com](https://www.wearedevelopers.com/videos/100265-fireside-chat-in-conversation-with-werner-vogels-cto-of-amazon-com) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [Empowering Democratic Processes: Building a Hybrid Voting Platform](https://www.wearedevelopers.com/videos/1163-empowering-democratic-processes-building-a-hybrid-voting-platform) - [Are Code Reviews Worth It? Insights from 16 Years of Review Data](https://www.wearedevelopers.com/videos/1135-are-code-reviews-worth-it-insights-from-16-years-of-review-data) - [Fireside Chat with Werner Vogels, VP & CTO, Amazon.com & Daniel Gebler, CTO at Picnic](https://www.wearedevelopers.com/videos/1405-fireside-chat-with-werner-vogels-vp-cto-amazon-com-daniel-gebler-cto-at-picnic) - [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods) ## Related Articles - [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline) - [What is Software Engineering in the Age of AI?](https://www.wearedevelopers.com/magazine/640-what-is-software-engineering-in-the-age-of-ai) - [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers) - [The Best Software Developer Blogs to Read](https://www.wearedevelopers.com/magazine/156-the-best-software-developer-blogs-to-read) - [Why Attend a Developer Event in 2026?](https://www.wearedevelopers.com/magazine/688-why-attend-a-developer-event-in-2026)