Amazon Software Development Engineer Automated Reasoning Group 

United States, Washington, Seattle 

26831522

Key job responsibilities
* Work with customer teams to understand the nature of their software and the properties they need to establish of it.
* Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
* Use tools spanning from symbolic program analysis and modeling to fuzzers to model checkers, to interactive theorem provers to establish program properties.
* Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
Diverse Experiences
AWS 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.About AWSWork/Life Balance
Mentorship & Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.

- 3+ years of non-internship professional software development experience
- 2+ years of non-internship design or architecture (design patterns, reliability and scaling) of new and existing systems experience
- Experience programming with at least one software programming language

- 3+ 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