The point where experts and best companies meet
Share
The Automated Reasoning Group in AWS Cloud Operations is looking for an Applied Scientist to work on the intersection of Artificial Intelligence and program analysis to automate the development of new API features at scale. You will be part of a larger organization that develops software analysis tools and applies them to generate program code that meets functional requirements and fits large-scale existing code bases in terms of style and programming idioms.
About the team
You will be working with a team of automated reasoning specialists as well as software development engineers. We develops automated tools and techniques for code synthesis and analysis.
- PhD in CS, CE, Mathematics of related fields
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java
- Expertise in generative AI for generation of new code and changes to existing code
- Expertise example-driven generative AI with sparse data
- Automated validation and refinement of LLM-generated code
These jobs might be a good fit