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 4 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- Amazon in Seattle is seeking a skilled Senior Software Engineer to advance automated reasoning for code correctness and agent safety. You will work at the intersection... ...of AI and AWS services, applying formal verification methods and proving code correctness across...Senior
$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$144.8k - $261.45k
The OpportunityDetection & Automation Engineering operates Adobe's detection... ...and containment.As a Senior Security Automation Engineer,... ...Express, Adobe Firefly, Creative Cloud, Adobe Experience Platform,... ...in advance as part of a reasonable accommodation. If these tools...CloudSeniorFull timeTemporary workLocal areaWorldwide- ...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- ...generation of infrastructure management services. You will drive automation across multi-substrate infrastructure, integrate AI/ML for... ...security, engineering, and operations teams to deliver resilient, scalable solutions in a cloud-centric environment. #J-18808-Ljbffr...CloudSenior
Salesforce
Bellevue, WA3 days ago $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- 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
- Lambda Security seeks a Senior Manager to lead its Detection & Response team, protecting cloud infrastructure and data across multi-cloud and bare metal. Reporting to... ...proactive threat management, with a focus on automation, threat hunting, and scalable programs. You will...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
$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- 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
- ...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
$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, WA1 day ago- 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
$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, WA1 day ago $145k - $298.9k
...you to grow and succeed. Role SummaryThe Senior Product Specialist is responsible for driving... ...execution, and business process automation to ensure efficient Opportunity-to-Invoice... ...QualificationsExperience in enterprise software or cloud business models.Familiarity with AI...CloudSeniorPermanent employmentFull timeWorldwideFlexible 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$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 the... ...of frameworks or automation for low-level software... ...Kubernetes environment and reasoning about how software is...CloudSeniorPermanent employmentFull timeTemporary workCasual workLive inWork at officeFlexible hoursCoreWeave
Bellevue, WA9 days ago$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
AWS Building Connectivity Service Automation (CSA) provide the services that empower the global... ...'s most complex computer networks.As a Senior Software Development Engineer, you will work... ...words, we’re the people who keep the cloud running. We support all AWS data centers...CloudSeniorInternshipWorldwideFlexible hours$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, WA13 days ago$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
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 network engineer remote Seattle, WA
- senior app developer Seattle, WA
- senior manager legal Seattle, WA
- senior retail sales associate Seattle, WA
- sr project manager Seattle, WA
- senior account executive Seattle, WA
- senior manager strategic initiatives Seattle, WA
- senior staff systems engineer Seattle, WA
- senior commercial counsel Seattle, WA
- senior physical design engineer Seattle, WA