Senior SDE Cloud Automated Reasoning & Verification
Socket
Amazon seeks a Senior Software Development Engineer to join the AWS Automated Reasoning team in Seattle, WA. You will design, build, and operate a cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale. You will mentor engineers, drive architecture, and own reliability and performance across distributed systems, solver orchestration, and API design for production use. #J-18808-Ljbffr Socket
Vacancy posted 3 days ago
Similar jobs that could be interesting for youBased on the Senior SDE Cloud Automated Reasoning & Verification in Seattle, WA vacancy
$168.1k - $227.4k
...Services (AWS) Agentic AI Automated Reasoning group by using... ...talented and passionate Senior Software Development Engineer (SDE) who wishes to work at... ...Automated Reasoning and cloud-scale distributed systems... ...offload satisfiability and verification queries at scale. You...CloudSeniorInternshipLocal areaFlexible hours$168.1k - $227.4k
...Services (AWS) Agentic AI Automated Reasoning group by using... ...talented and passionate Senior Software Development Engineer (SDE) who wishes to work at... ...Automated Reasoning and cloud-scale distributed systems... ...offload satisfiability and verification queries at scale. You...CloudSeniorInternshipLocal areaFlexible hours- 2026 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting... ..., WA. DESCRIPTION Shape the Future of Cloud Computing Are you a graduate student... ...to program analysis, synthesis, and verification, you'll tackle complex challenges at...CloudInternshipRelocation
$167.1k - $226.1k
Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced... ...to build experience in a wide variety of areas including cloud, devices, retail, entertainment, healthcare, operations, and...CloudSeniorFlexible hours$168.1k - $227.4k
...highly skilled and innovative SDE with a passion for developing... ...data engineering expertise. As a Senior SDE on this team, you will own... ...' workflow orchestration automation needs.Engineers on the Amazon... ...comprehensive and broadly adopted cloud platform. We pioneered cloud computing...CloudSeniorInternshipFlexible hours$148.5k - $223.9k
...locations. Based in the United States, this Senior AV Automation Engineer role sits at the intersection... ...platforms, AV hardware, or cloud technologies (e.g., Certified Technology... ...the world.AccommodationsIf you need a reasonable accommodation during the application or...CloudSeniorFull time$145k - $193.75k
...orchestrating the work agents do best, automating manual tasks and uncovering... ...the business. We combine cloud-native services, agentic AI,... ...auditable automation.As a Senior Software Engineer I (Automation... ...and Bedrock Agents that reason through multi-step business problems...CloudSeniorFull timeTemporary workWork at officeLocal areaRemote work- ...with confidence. We are hiring a Senior Product Manager to join our Automation Services and Infrastructure organization... ..., critical security primitives, cloud-native infrastructure, and AI-... ...calls transparently, document the reasoning, and keep momentum. Drive velocity...CloudSenior
- DescriptionWe’re looking for a Senior Automation Engineer to champion quality for our cloud‑native applications. You’ll be embedded on an Agile/Scrum team, partnering closely with engineers, product owners, and UX designers to ensure quality is built into every stage of...CloudSenior
$168.1k - $227.4k
...redefine the future of EC2 networking for Cloud Computing in 2026. To achieve our... ...solutions at incredible scale. As a Sr. SDE on this team, you will own defining, implementing... ...standards for development processes, tools, and automation to enhance team productivity and quality....CloudSeniorInternshipFlexible hours$148.7k - $201.2k
...the future of computer vision and agentic AI as a Senior Program Manager - Technical on our Visual Reasoning team, where you'll coordinate cutting-edge initiatives... ...the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never...CloudSeniorLocal areaWorldwideFlexible hours$143.7k - $194.4k
As an SDE in Amazon's Simple Storage Service (S3), you will... ...we hold a high bar for test automation, verification processes, design, and code... ...operational tooling, collaborate with senior engineers to design new... ...and broadly adopted cloud platform. We pioneered cloud...CloudInternshipWorldwideFlexible hoursNight shift- Circle is seeking a Senior Finance Systems Analyst in Seattle to join their Finance Systems... ...with finance teams for ERP features and automating finance processes. The ideal candidate... ...relevant experience, particularly with Oracle Cloud Fusion ERP, and a Bachelor's in...CloudSenior
- The AES Group is seeking a Senior Linux/UNIX System Administrator to manage and maintain... ...junior staff, participate in migrations, cloud integrations, and disaster recovery planning... ...include proactive maintenance, automation, and documentation, with opportunities to...CloudSenior
- ...execute product strategy for Data Strategy and AI-powered workflow automation services in Seattle, WA. The role requires 12 years of product management experience and expertise in Data Analytics, cloud services, and strong leadership capabilities. In this position, you...CloudSenior
- ...Product Manager specializing in Data Strategy, AI-powered workflow automation, and product development. You will define and execute product... ...product management, particularly with data analytics and AWS cloud services. The preferred location for this role is Seattle, WA....CloudSenior
- Wealthfront is seeking a Senior Software Engineer with Networking expertise to join the Infrastructure team. You will work across... ...financial systems spanning data centers, offices, and the cloud. You will automate infrastructure using IaC, contribute to hybrid cloud...CloudSenior
- The AES Group is seeking a Senior Linux/UNIX System Administrator to manage and enhance Linux... ...emphasizes reliability, security, and automation, with responsibilities spanning... ...junior staff, participate in migrations and cloud integrations, and help maintain documentation...CloudSenior
- Qumulo is seeking a Senior Systems Administrator to join a small team that builds and maintains... ...engineers rely on for on‑prem and cloud deployments. You will manage Active Directory... ...the autonomy to set standards. You will automate manual tasks with Python, Bash, and...CloudSenior
- ...and scale infrastructure management services, applying AI/ML to automate vulnerability detection and remediation. You will integrate... ...collaborating across teams to deliver scalable solutions in a cloud-focused environment. The role emphasizes SDLC/CI-CD practices,...CloudSenior
- Veriipro is seeking a Senior Linux Administrator to optimize and manage enterprise Linux/... ...performance tuning, and collaboration with cloud teams to ensure secure operations. The... ...strong skills in Linux/Unix administration, automation through Ansible and Python, and knowledge...CloudSenior
- Qumulo is seeking a Senior Systems Administrator to join a small IT team responsible for... ...servers, virtualization, containers, and cloud services across AWS, GCP, and Azure, with... ...standards and drive improvements. You will automate repetitive tasks, plan backups and DR,...CloudSenior
- ...DevOps Engineer with over a decade of experience in designing and implementing CI/CD pipelines and managing cloud infrastructure. This role involves automating processes to enhance software development efficiency, migrating Jenkins pipelines to GitLab, and utilizing cloud...CloudSenior
- NICE is seeking a Senior AI Software Engineer to shape infrastructure automation and AI-driven operations across a global cloud platform. You will design end-to-end pipelines, automate region provisioning in AWS, and integrate AI models into deployment workflows. The role...CloudSenior
$140k - $180k
...Job Description Job Description Senior Backend Engineer (Golang & AI Automation) Location: Seattle, WA (Hybrid) or Remote (US-based) Job Type: Full... ...grasp of Infrastructure-as-Code ( Terraform ) and AWS cloud services (ECS, Lambda, etc.). Familiarity with modern...CloudSeniorFull timeWork at officeRemote workEQL Tech
Seattle, WAmore than 2 months ago$142.8k - $193.2k
...Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced... ...to build experience in a wide variety of areas including cloud, devices, retail, entertainment, healthcare, operations, and...CloudFlexible hoursAmazon
Seattle, WA3 days ago$151.3k
We are seeking a Senior Software Development Engineer to join our Gen AI & Strategic Initiatives... ...; define and monitor SLAs, implement automated response systems, and create runbooks for... ...the teamAmazon Luna is a cloud gaming service that makes it easy for anyone...CloudSeniorCasual workInternshipLocal area$168.1k - $227.4k
...when promised. We are constantly innovating in the ways we are automating and accelerating the delivery of packages which includes custom... ...a unique opportunity to define edge-based solutions where the cloud meets the real world in the heart of our fulfillment centers. The...CloudSeniorInternshipFlexible hours$168.1k - $227.4k
...platform that makes it possible — automating what would take an army of... ...greenfield opportunity on a small, senior team building from scratch... ...the product direction.As an SDE on the Responsible AI team, you... ...wide variety of areas including cloud, devices, retail,...CloudSeniorInternshipFlexible hours$320k - $405k
...Senior Software Security Engineer San Francisco, CA | New... ...authentication across our multi-cloud environments Contribute... ...attestations, dependency verification, and automated policy enforcement... ...offer, we will make every reasonable effort to get you a visa, and...CloudSeniorWork at officeVisa sponsorshipFlexible hoursAnthropic
Seattle, WA1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior SDE Cloud Automated Reasoning & Verification. Be the first to apply!
Related searches
- senior lead project manager Seattle, WA
- senior robotics software engineer Seattle, WA
- senior devops engineer remote Seattle, WA
- senior sas administrator Seattle, WA
- senior IT manager Seattle, WA
- senior director of client services Seattle, WA
- senior contracts analyst Seattle, WA
- senior implementation consultant Seattle, WA
- sr project manager Seattle, WA
- senior windows systems engineer Seattle, WA