Senior Staff Software Engineer, Cloud CISO

Google's software engineers develop the next-generation technologies that change how billions of users connect, explore, and interact with information and one another. Our products need to handle information at massive scale, and extend well beyond web search. We're looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. As a software engineer, you will work on a specific project critical to Google’s needs with opportunities to switch teams and projects as you and our fast-paced business grow and evolve. We need our engineers to be versatile, display leadership qualities and be enthusiastic to take on new problems across the full-stack as we continue to push technology forward.

As a Senior Staff Software Engineer, you will define the overarching technical goal and architectural foundation for formally verified, high-performance systems across Google Cloud. You will take on some of the hardest problems in distributed computing: proving the correctness and transactional consistency of petabyte-scale storage, query engines, and distributed consensus mechanisms while achieving industry-leading efficiency. You will act as an organizational channel multiplier, driving engineering strategy, authoring foundational frameworks, and mentoring senior technical talent across Google.

Google Cloud accelerates every organization’s ability to digitally transform its business and industry. We deliver enterprise-grade solutions that leverage Google’s cutting-edge technology, and tools that help developers build more sustainably. Customers in more than 200 countries and territories turn to Google Cloud as their trusted partner to enable growth and solve their most critical business problems.

Individual pay is determined by factors including job-related skills, experience, and relevant education or training.

Sweden: kr1500000 - kr1530000 (SEK) + 25% bonus target + equity + benefits

Learn more about benefits at Google.

Responsibilities:

• Define the multi-year technical goal and architectural roadmap for high-efficiency, formally verified systems across Google Cloud CISO.
• Lead the end-to-end architecture and implementation of distributed transactional systems, storage layers, and query engines built in Rust and verified with Verus.
• Formulate verification strategies for complex, multi-component distributed protocols, proving correctness, fault tolerance, and data integrity under arbitrary failure modes.
• Lead initiatives to replace bug-prone, resource-heavy legacy components with formally verified, resource-efficient alternatives across internal and open-source infrastructure.
• Partner with VP-level and Principal engineering leadership to establish organization-wide verification standards, security baselines, and developer tooling. Cultivate an engineering culture by mentoring Staff and Senior engineers and guiding Google's participation in the global Rust and formal methods communities.

Minimum qualifications:

• Bachelor's degree in Computer Science, a related technical field, or equivalent practical experience.
• 8 years of experience architecting, implementing, and operating large-scale distributed systems, transactional storage engines, or high-performance database internals.
• 5 years of experience developing production-critical systems in Rust.
• 3 years of experience in technical leadership, setting multi-year architectural roadmaps, and driving cross-organizational technical initiatives.
• Experience with formal specification, formal methods, or verified systems development (e.g., Verus, TLA+, SMT verification, or proof-carrying code).

Preferred qualifications:

• PhD in Computer Science with a focus on Distributed Systems, Transactional Storage, Database Engines, or Formal Verification.
• Research publications in systems and data engineering venues (e.g., OSDI, SOSP, NSDI, VLDB, SIGCOMM, EuroSys).
• Experience in architecting petabyte-scale storage engines, distributed consensus protocols (e.g., Paxos, Raft), or low-latency key-value databases.
• Contributions to the broader systems and Rust open-source ecosystems (e.g., authoring/maintaining widely adopted crates, database engines, or storage primitives).
• Expertise in hardware-conscious algorithmic design, query optimization, LSM-tree architectures, and zero-copy memory pipelines.
• Ability to influence executive leadership and drive adoption of transformative security and verification technologies across multiple product areas.