Senior SDE — Cloud Automated Reasoning & Verification
Socket.dev
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.dev
Vacancy posted 5 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$184.9k - $250.2k
...Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning... ...are seeking a talented and passionate Senior Front End Engineer (SDE) who wishes to work at the intersection of Automated Reasoning and cloud-scale distributed systems, building...CloudSeniorInternshipFlexible hours$143.7k - $194.4k
...Services (AWS) Agentic AI Automated Reasoning group by using... ...Development Engineer (SDE) who wishes to work at... ...Automated Reasoning and cloud-scale distributed systems... ...satisfiability and verification queries at scale. You... ...-class scientists and senior engineers to turn research...CloudInternshipFlexible 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
....Salesforce Software Quality Senior Member of Technical Staff (SMTS... ...first testing frameworks and automation suites to validate complex... ...Experience working with public cloud infrastructure (AWS/Azure/GCP... ....AccommodationsIf you need a reasonable accommodation during the...CloudSeniorFull time- ...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
$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$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- 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
- 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
$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- ...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
- ...generation of infrastructure management services. You will drive automation across multi-substrate infrastructure, integrate AI/ML for... ...engineering, and operations teams to deliver resilient, scalable solutions in a cloud-centric environment. #J-18808-Ljbffr SalesforceCloudSenior
- 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
- 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
- ...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
- 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
- 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
$168.1k - $227.4k
...Amazon S3 presents and about cloud computing, in general. You... ...Key job responsibilitiesAs an SDE in S3's Storage team, you... ...we hold a high bar for test automation, verification processes, design, and code... ...operational tooling, collaborate with senior engineers to design new...CloudSeniorWork experience placementInternshipRemote workWorldwideFlexible hoursShift workNight shift- ...Senior Automation EngineerLocation: Seattle, WA Duration: Contract Visa: GC or Citizen only or H1 where there is 2 years validity.Basic Qualifications... ...to build, test, certify and operate everything we do in Cloud Engineering / Enterprise Cloud ServicesCreate tools for...CloudSeniorContract work
Staffing the Universe
Seattle, WA2 days ago - 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
$142.8k - $193.2k
...Description Shape the Future of Cloud Computing Are you a graduate student passionate about Automated Reasoning and its real-world applications? Join our team of innovators... ...solvers to program analysis, synthesis, and verification, you'll tackle complex challenges at the...InternshipRelocationFlexible hoursAmazon
Seattle, WA2 days ago$153k - $204k
...CoreWeave is The Essential Cloud for AI™. Built for... ...framework into HPC verification, Slurm-on-Kubernetes,... ...About the role: As a Senior Software Engineer on... ...ownership of frameworks or automation for low-level software... ...environment and reasoning about how software is...CloudSeniorPermanent employmentFull timeTemporary workCasual workLive inWork at officeFlexible hours$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- ...We are looking for a Senior Platform Operations Engineer... ..., certificate automation. Build and own the... ...private DNS zones and reason about a packet’s full... .... Coordinate cross-cloud dependencies with AWS:... ...webhook delivery, signature verification, idempotency, and...CloudSenior
Viome Life Sciences
Bellevue, WA3 days 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
- srs distribution Seattle, WA
- senior operations coordinator Seattle, WA
- senior associate architect Seattle, WA
- senior dynamics crm developer Seattle, WA
- senior application security Seattle, WA
- senior account director Seattle, WA
- sr hr business partner Seattle, WA
- senior supervisor Seattle, WA
- senior plumbing designer Seattle, WA
- senior sales representative Seattle, WA