Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Amazon Software Development Engineer Automated Reasoning Group 
United States, New York, New York 
400547697

04.09.2024
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.

BASIC QUALIFICATIONS

- 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


PREFERRED QUALIFICATIONS

- Master's degree in computer science or equivalent