Amazon Software Development Engineer Automated Reasoning Group 

United States, New York, New York 

400547697

You will build software tools for automatically producing semantic logic models for web services and infrastructure as code. You will build frameworks to make use of these models to ensure that GenAI-assisted code and infrastructure provably avoids certain classes of errors. You will work with scientists and software developers in the Automated Reasoning Group and ML and Ai scientists and engineers to incorporate the solutions you build into other Amazon services and frameworks.Key job responsibilities
Developing software tools to produce semantic logic models from machine-comprehensible descriptions for web services and infrastructure as code. Developing automated reasoning and program analysis tooling to make use of these models to reduce LLM hallucinations.

- 3+ years of non-internship professional software development experience
- 1+ 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

- Master's degree in computer science or equivalent