Find your next role

DESCRIPTION

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.