Software Dev Engineer, AWS AI Agentic Automated Reasoning (AR)

Amazon

Seattle, WA, US
On-site
Automated reasoning technology
Distributed systems architecture
Solver integration expertise
This role involves building managed reasoning infrastructure that powers correctness guarantees across AWS services

Job Summary

  • This role involves building managed reasoning infrastructure that powers correctness guarantees across AWS services.
  • You will design, build, and operate components of Amazon's cloud-hosted automated reasoning platform to handle queries at scale.
  • The position offers a unique opportunity to combine strong software engineering skills with automated reasoning technology alongside world-class scientists.

Matching Summary

This role involves building managed reasoning infrastructure that powers correctness guarantees across AWS services.

Skills & Requirements

Must-have

  • Automated Reasoning technology
  • Distributed systems architecture
  • Solver integration expertise
  • API development skills
  • Service reliability engineering

Nice-to-have

  • Collaboration with research scientists
  • Experience with satisfiability queries
  • Strong code review participation
  • Customer-facing troubleshooting skills

Key Requirements

  • Software Development Engineer experience
  • Background in distributed systems
  • Ability to work on-call rotations

Work Rights

Not specified

Tailored Resume

Cover Letter