Sr. Software Development Engineer, Automated Reasoning Group

Job Description

Collaborate with cross-disciplinary teams to design and build innovative services using automated reasoning to enhance AWS capabilities. Develop scalable, fault-tolerant distributed systems and lead fundamental changes in the industry through high-quality software engineering.

Requirements: Requires 5+ years of professional software development experience, including expertise in system architecture, design patterns, and programming. Candidates should have a strong background in leading engineering teams and a demonstrated interest or experience in automated reasoning or formal methods.

Key Skills: Automated reasoning, Software development, Distributed systems, Mathematical logic, Generative AI, System architecture, Mentorship, Agile, Cloud computing, Scalability, Reliability, Fault-tolerance, Distributed storage, Indexing, Query systems, Technical leadership

Benefits: Health insurance, Medical, Dental, Vision, Prescription, Basic life & AD&D insurance, Supplemental life plans, EAP, Mental health support, Medical advice line, Flexible spending accounts, Adoption and surrogacy reimbursement, 401(k) matching, Paid time off, Parental leave, Restricted stock units, Sign-on payments