Senior Software Development Engineer (Automated Reasoning)

TL;DR

Senior Software Development Engineer (Automated Reasoning): Building new services and capabilities using automated reasoning to verify Generative AI outputs and enhance AWS services with an accent on mathematical logic, distributed systems, and scalability. Focus on designing fault-tolerant storage, index, and query systems, solving complex operational challenges at AWS scale, and innovating with cross-disciplinary teams.

Location: USA, NY, New York (onsite)

Salary: 184,900 - 250,200 USD annually

Company

Part of hirify.global Web Services (AWS) Automated Reasoning Group developing ARc service to tackle AI hallucinations using mathematical logic.

What you will do

• Collaborate with cross-disciplinary teams to design and launch innovative products and services.
• Build scalable, fault-tolerant distributed storage, index, and query systems in large computing environments.
• Develop solutions for predictions on distributed systems at massive scale and speed.
• Lead design and architecture using patterns for reliability and scaling in new and existing systems.
• Work in agile environment to deliver high-quality software rapidly.

Requirements

• 5+ years of non-internship professional software development experience
• 5+ years of programming experience in at least one software language
• 5+ years leading design or architecture (patterns, reliability, scaling)
• Experience as mentor, tech lead, or leading engineering teams
• Ability to design and code solutions from broadly defined problems

Nice to have

• 5+ years full software development life cycle experience (coding standards, reviews, source control, builds, testing, operations)
• Bachelor's degree in computer science or equivalent
• Automated reasoning or formal methods experience or interest

Culture & Benefits

• Supportive team with knowledge-sharing, mentorship, one-on-one guidance, and code reviews
• Comprehensive benefits: health insurance (medical, dental, vision), 401(k) matching, paid time off, parental leave
• Sign-on payments and RSUs; work with world-class technical and scientific leaders
• Focus on career growth through challenging projects and skill development
• Inclusive culture emphasizing creativity, responsibility, curiosity, and fun