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

Experteer Overview In this role you will help build Amazon’s cloud-hosted automated reasoning platform, enabling AWS services to verify correctness at scale. You’ll work at the intersection of automated reasoning and distributed systems, shaping production services used by millions of customers. You’ll tackle challenges in solver integration, API development, and reliability to deliver robust, scalable reasoning capabilities. You will collaborate with scientists and engineers to turn research into production features that guarantee correctness for software, infrastructure, and AI-generated code. This is a high-impact, hands-on software role in a fast-paced, cross-functional environment. Compensation / Benefits * Design and implement features of the cloud-hosted automated reasoning platform (query routing, solver orchestration, result caching, soundness management) * Build and maintain distributed systems meeting AWS standards for availability, latency, and correctness * Evolve the service API to simplify customer integration of reasoning capabilities * Collaborate with Automated Reasoning scientists to integrate solver improvements into production * Participate in on-call rotations, monitoring, alerts, and reliability improvements * Write clean, well-tested production code and contribute to code reviews and design discussions * Engage with internal customer teams to understand use cases and troubleshoot integration issues * Contribute to feature development for the solver service and partner with researchers on optimizations * Assist in debugging issues in the query pipeline and improve test coverage Tasks * 3+ years of non-internship software development experience * 2+ years in design or architecture of large-scale systems * 1+ years of SDE or related experience * 1+ years designing/developing distributed software applications using C#, C++, Java, or Perl * 1+ years of Object Oriented Design experience * Bachelor’s degree or foreign equivalent in Computer Science, Engineering, Mathematics, or related field * Experience with at least one programming language from the listed set Key requirements * health insurance (medical, dental, vision) * 401(k) matching * RSUs * sign-on payments * paid time off * parental leave

and API to simplify customer integration of reasoning capabilities * Collaborate with Automated Reasoning scientists to integrate solver improvements into production * Participate in on-call rotations, monitoring, alerts, and reliability improvements * Write clean, well-tested production code and contribute to code reviews and design discussions * Engage with internal customer teams to understand use cases and troubleshoot integration issues * Contribute to feature development for the solver service and partner with researchers on optimizations * Assist in debugging issues in the query pipeline and improve test coverage Tasks * 3+ years of non-internship software development experience * 2+ years in design or architecture of large-scale systems * 1+ years of SDE or related experience * 1+ years designing/developing distributed software applications using C#, C++, Java, or Perl * 1+ years of Object Oriented Design experience * Bachelor’s degree or foreign equivalent in Computer Science, a reliability Mathematics, or related field * Experience with at least one programming language from the listed set Key requirements * health insurance (medical, dental, vision) * 401(k) matching * RSUs * sign-on payments * paid time off * parental leave