Seattle, Washington, United States · On-site
$135k–$306k/yr
This is your opportunity to apply formal specification and verification to real-world cloud-scale distributed systems, as part of an engineering organization that highly values formal methods. OCI has been using formal m…
Skills: Formal Specification, Formal Verification, TLA+, Model Checking, Constraint Solvers
Seattle, Washington, United States · On-site
$135k–$306k/yr
Oracle Cloud Infrastructure (OCI) delivers mission-critical applications for top tier enterprises around the world. Our cloud offers unmatched hyper-scale, multi-tenant services deployed in more than 50 regions worldwide…
Skills: Distributed Systems, Low-level Systems, Key-Value Store, Data-plane Design, High Performance Computing
Seattle, Washington, United States · On-site
$135k–$306k/yr
Build the Future of Cloud at Oracle Cloud Infrastructure (OCI) At Oracle Cloud Infrastructure (OCI), we enable mission-critical applications for the world’s top enterprises, delivering hyper-scale, secure, multi-tenant c…
Skills: Dpu programming, Cloud infrastructure, System architecture, Data-plane architecture, Networking
Seattle, Washington, United States · On-site
$135k–$306k/yr
Oracle Cloud Infrastructure (OCI) delivers mission-critical applications for top tier enterprises around the world. Our cloud offers unmatched hyper-scale, multi-tenant services deployed in more than 50 regions worldwide…
Skills: Distributed Systems, Database Validation, Low-level Systems, Performance Tuning, Control Plane Design
Sunnyvale, California, United States · On-site
$192k–$279k/yr
Minimum qualifications: Bachelor's degree in Statistics, Mathematics, Data Science, Engineering, Physics, Economics, or a related quantitative field. 10 years of work experience using analytics to solve product or busine…
Skills: Statistical Analysis, Python, R, SQL, Data Extraction
Redmond, Washington, United States · On-site
$144k–$194k/yr
Want to change the world with Big Data and Analytics? Come join us on the Amazon EMR team in Amazon Web Services! Amazon EMR is a web service which enables customers to run massive clusters with open-source data processi…
Skills: Java, C++, C#, Object-Oriented Design, Distributed Systems
Seattle, Washington, United States · On-site
$136k–$184k/yr
How to use the world’s richest collection of e-commerce data to improve payments experience for our customers? Amazon Payments Data Science team seeks a Data Scientist for building analytical solutions that will address …
Skills: Gen AI, LLM, Machine Learning, Text Analytics, Causal Inference
Redmond, Washington, United States · On-site
$220k–$298k/yr
Amazon Leo is Amazon’s low Earth orbit satellite network. Our mission is to deliver fast, reliable internet connectivity to customers beyond the reach of existing networks. From individual households to schools, hospital…
Skills: Software Development Management, Software Defined Networking, Network Control Plane, System Architecture, Operational Excellence
Bellevue, Washington, United States · Hybrid
$145k–$233k/yr
About Us Visa is a world leader in payments technology, facilitating transactions between consumers, merchants, financial institutions and government entities across more than 200 countries and territories, dedicated to …
Skills: Machine Learning, Generative AI, Python, R, SQL
Quinte West, Ontario, Canada · On-site
Application close date: 07/15/2026 At Blue Origin, we envision millions of people living and working in space for the benefit of Earth. We’re working to develop reusable, safe, and low-cost space vehicles and systems wit…
Skills: Software Development Life Cycle, AWS, Git, Docker, Kubernetes
QumuloSeattle, Washington, United States · Hybrid
$110k–$150k/yr
Help shape Qumulo's end-to-end Recruiting process as we enter hypergrowth Join a small and highly successfull Recruiting team that champions quality and candidate experience Play a critical role in building the industry'…
Skills: Full-cycle Recruiting, GTM Recruiting, Sales Recruiting, Boolean Search, Candidate Engagement
Kirkland, Washington, United States · Remote OK
$68k–$75k/yr
Formations is a Seattle-based startup reimagining financial management for self-employed professionals. We handle everything — taxes, accounting, payroll, S Corporation management, and financial planning — so our custome…
Skills: Customer Success Management, Tax Preparation, Payroll Administration, Bookkeeping, Account Management
Bellevue, Washington, United States · On-site
$136k–$184k/yr
Do you like helping U.S. Intelligence Community agencies implement innovative cloud computing solutions and solve technical problems? Would you like to do this using the latest cloud computing technologies? As part of th…
Skills: Internet Routing Protocols, Linux/Unix, HTTP(S), DNS, TCP/IP
Seattle, Washington, United States · On-site
$144k–$194k/yr
Come keep one of the world's largest Apache Kafka fleets healthy, secure, and always on. On Amazon MSK, you will build the automation that maintains hundreds of thousands of streaming hosts, so customers never have to th…
Skills: Distributed Systems, Large-scale Automation, Apache Kafka, Infrastructure Engineering, System Design
Seattle, Washington, United States · On-site
$151k–$205k/yr
Imagine a system that stores petabytes of customer data and handles peaks of more than 20 million requests per second, responding in single-digit milliseconds. Imagine the number of servers required to power such a syste…
Skills: Python, Java, Ruby, TCP/IP, HTTP
Seattle, Washington, United States · On-site
$144k–$194k/yr
We are looking for a Software Development Engineer to join the EKS KCP Scalability team and work on some of the hardest distributed systems problems at Amazon. You will design, build, and operate systems that directly de…
Skills: Kubernetes, Distributed Systems, Elastic Kubernetes Service (EKS), C#, C++
Seattle, Washington, United States · On-site
$144k–$194k/yr
Join the team that achieved a 20x scalability leap—pushing Amazon EKS from 5,000 nodes open-source per cluster limit to 100,000 nodes through various technical innovations in distributed systems and open-source collabora…
Skills: Distributed Systems, Kubernetes, Etcd, Software Design, System Architecture
Seattle, Washington, United States · On-site
$144k–$194k/yr
AWS Transform is responsible for building Agentic AI systems aimed at helping customers modernize applications to achieve cost savings, security, scalability, and resiliency. We build next-generation, agent-driven soluti…
Skills: Distributed Systems, Agentic AI, System Architecture, Object Oriented Design, C#
Seattle, Washington, United States · On-site
$170k–$355k/yr
Oracle Cloud Infrastructure, OCI, is building and operating a global-scale cloud network that supports enterprise, government, AI, and cloud-native workloads. OCI’s global network provides the foundation for customer con…
Skills: Network Engineering, BGP Policy, Routing Design, Traffic Engineering, Network Security
Bellevue, Washington, United States · Hybrid
$140k–$170k/yr
What is SeekOut? SeekOut is a leading talent acquisition platform that empowers companies to find, attract, and hire the best talent. Using advanced AI and machine learning, SeekOut provides deep insights into candidate …
Skills: Commercial Contract Negotiation, SaaS Law, Legal Operations, Risk Mitigation, Drafting MSAs
Sign up with Clera and we'll reach out the moment a role actually fits you — no more spraying applications into the void.
Apply formal specification and verification methods to identify subtle bugs in cloud-scale distributed systems to prevent data loss and security vulnerabilities. Develop new methodologies using Generative AI to automate the creation of formal specifications and implementation code.
Requires 6 to 10+ years of experience with a passion for the practical application of formal methods to complex problems. Candidates must be proficient in English and capable of collaborating on mission-critical cloud infrastructure.
This is your opportunity to apply formal specification and verification to real-world cloud-scale distributed systems, as part of an engineering organization that highly values formal methods. OCI has been using formal methods--primarily TLA+, as well as some others--since we started in 2014. Oracle is a founding premier member of the TLA+ Foundation industry-standards body, and OCI employees are very active in the TLA+ community.
We are expanding our in-house formal verification team to handle major new development initiatives. OCI is building our next generation of core data-planes and cloud automation, for which correctness and reliability are critical. We know that achieving those properties requires use of formal methods. Our formal verification team assists development teams across all of OCI, so the role has high visibility and impact.
We are looking for self-motivated engineers with passion and expertise for practical application of formal methods to complex problems. You should value collaboration, innovation, pragmatism, and be focused on achieving results.
Responsibilities
We use formal specification and verification methods to help developers of complex systems find very subtle bugs that are unlikely to be caught by normal testing techniques. We focus on preventing the kinds of bugs that would cause the most severe problems for our customers, in particular data loss/corruption or security vulnerabilities.
We achieve this via the following activities:
Additionally, we are helping to create new methodologies and tools to enable safe and productive use of Generative AI for designing, implementing, and testing mission-critical components and services. For example:
Only Oracle brings together the data, infrastructure, applications, and expertise to power everything from industry innovations to life-saving care. And with AI embedded across our products and services, we help customers turn that promise into a better future for all. Discover your potential at a company leading the way in AI and cloud solutions that impact billions of lives.
True innovation starts when everyone is empowered to contribute. That’s why we’re committed to growing a workforce that promotes opportunities for all with competitive benefits that support our people with flexible medical, life insurance, and retirement options. We also encourage employees to give back to their communities through our volunteer programs.
We’re committed to including people with disabilities at all stages of the employment process. If you require accessibility assistance or accommodation for a disability at any point, let us know by emailing [email protected] or by calling 1-888-404-2494 in the United States.
Oracle is an Equal Employment Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability and protected veterans’ status, or any other characteristic protected by law. Oracle will consider for employment qualified applicants with arrest and conviction records pursuant to applicable law.
Oracle is a global leader in AI, delivering the cloud infrastructure, data, and applications that organizations across the world trust to successfully achieve business outcomes at scale. Oracle Cloud Infrastructure (OCI) provides fast, flexible, scalable AI infrastructure. With superior compute performance and network design, a comprehensive choice of AI services for developing and orchestrating agentic AI workflows at scale, and unrivaled data control, security, privacy, and governance, OCI is designed for AI workloads. It also gives customers the flexibility to run their workloads wherever they need by supporting public cloud, multicloud, hybrid cloud, sovereign, and on-premises deployments. The Oracle AI Database is the only database with AI natively built in everywhere. By bringing AI to where data lives, the Oracle AI Database delivers enterprise-grade AI securely, cost-effectively, and at scale. In-database machine learning and vector search enable AI models to run where data resides. Support for multi-modal data (structured, unstructured, graph, vector) enables richer AI use cases. The Oracle AI Data Platform enables organizations to build, deploy, and govern AI agents and applications on top of private, secure, and distributed enterprise data. This enables organizations to operationalize AI without compromising data security or control. Oracle Applications embed AI directly into business workflows and industry processes to ensure AI is delivered in context, where work happens. They include the only applications suite that brings AI to every aspect of a business, with AI-powered ERP, HCM, and CX applications, and the Oracle Health Suite which provides applications for managing the entire healthcare ecosystem. Oracle also provides industry-specific cloud application suites for more than two dozen industries and NetSuite, the world’s first cloud computing company. This LinkedIn page serves as Oracle’s official global company page.
Offices: 2300 Oracle Way, Austin, Texas 78741, US · 500 Oracle Parkway, Redwood Shores, CA 94065, US · 8081 Arco Corporate Dr, Raleigh, NC 27617, US · Donau-City-Strasse 7, Vienna, Vienna 1220, AT · Metalbuen 66, Ballerup, Capital Region 2750, DK
Based on 3502 listings with disclosed salaries, most software jobs in Washington pay between $120k–$261k per year. Individual offers vary with seniority, company size, and specialization.
There are currently 4,022 open software positions in Washington listed on Clera. New openings are added daily as companies post roles.
Companies currently hiring include Amazon, Microsoft, Google, Oracle, Meta, among others. Browse the listings above to see every active employer.
Yes — 1732 of the 4022 open software positions offer remote or hybrid work (417 remote, 1315 hybrid).
Each listing links directly to the employer's application page. Apply early — fresh listings get the most recruiter attention in the first two weeks.
