Sr. Software Development Engineer, Automated Reasoning Group

Amazon

New York, NY, US
On-site
Automated reasoning expertise
Distributed systems design
Scalable storage and query systems
The team is building new capabilities in the Automated Reasoning Group to enhance AWS services using mathematical logic

Job Summary

  • The team is building new capabilities in the Automated Reasoning Group to enhance AWS services using mathematical logic.
  • Engineers will design and build innovative technologies in a large distributed computing environment to tackle AI hallucinations.
  • The role offers opportunities for one-on-one mentoring and working alongside world-class technical leaders in automated reasoning.

Matching Summary

The team is building new capabilities in the Automated Reasoning Group to enhance AWS services using mathematical logic.

Skills & Requirements

Must-have

  • Automated Reasoning expertise
  • Distributed systems design
  • Scalable storage and query systems
  • High-performance service delivery
  • Agile software development

Nice-to-have

  • Mathematical logic background
  • Generative AI domain knowledge
  • Cross-disciplinary collaboration skills
  • Mentorship and code review experience
  • Customer-facing innovation mindset

Key Requirements

  • Senior level software engineering experience
  • Ability to design solutions from broadly defined problems
  • Experience with fault-tolerant distributed systems

Work Rights

Not specified

Tailored Resume

Cover Letter