Amazon Development Center U.S., Inc.
Technology
Sr.SoftwareDevelopmentEngineer,AutomatedReasoningGroup
Neural analysis suggests this role is
optimal for Senior candidates.
“Sr. Software Development Engineer, Automated Reasoning Group at Amazon Development Center U.S., Inc.. Skills: Automated Reasoning, AWS services, Generative AI. Collaborate to conceive products. Collaborate to design products”
Industry & Context.
Challenging operational issues
What They're Looking For.
Must Have
5+ years non-internship professional software development experience, 5+ years programming experience, 5+ years leading design or architecture experience, Experience as a mentor, Experience as a tech lead, Experience leading an engineering team
Nice to Have
5+ years full software development life cycle experience, Bachelor's degree in computer science, Automated Reasoning experience, Formal methods experience, Automated Reasoning interest, Formal methods interest
What You'll Do.
Collaborate to conceive products
Collaborate to design products
Collaborate to bring products to market
Collaborate to conceive services
Collaborate to design services
Collaborate to bring services to market
Design innovative technologies
Build innovative technologies
Lead fundamental changes
Create solutions for predictions
Run predictions on distributed systems
Build distributed storage systems
Build distributed index systems
Build distributed query systems
Design solutions for broadly defined problems
Code solutions for broadly defined problems
Work in agile environment
Deliver high-quality software
How You'll Work.
Team & Collaboration
Cross-disciplinary Amazonians; Experienced engineers
Process & Methodology
Agile
Full Job Description
We are building new capabilities in the Amazon Web Services (AWS) Automated Reasoning Group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. Our team owns Automated Reasoning Checks (ARc), a service that uses mathematical logic to verify the accuracy of Generative AI outputs, tackling hallucinations, one of AI’s most persistent challenges. ARc is at the forefront of Amazon's initiative on combining AI and math to give customers confidence in their Generative AI applications. See for more info: https://www.wsj.com/articles/why-amazon-is-betting-on-automated-reasoning-to-reduce-ais-hallucinations-b838849e We are seeking a talented and passionate Senior Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services. As a Senior Software Engineer on this team, you will design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases, contribute to the evolution of Automated Reasoning Checks, and help make the power of automated reasoning more readily available within AWS and for our customers. Delivering a reliable and high-performance service at AWS scale requires engineers with deep technical expertise and boundless creativity. At Amazon, we also expect engineers like you to interact with internal and external customers, to understand our business goals, and to innovate rapidly, delivering high-quality and ground-breaking functionality. What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You're excited about rolling up your sleeves, implementing big ideas, and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generat
Applying for this Sr. Software Development Engineer, Automated Reasoning Group role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon Development Center U.S., Inc.?
Real rants from real employees. Read before you apply.