The Job

Senior Staff Software Engineer, Cloud CISO

Teknik, data och digitalt · Mjukvaru- och webbutveckling · Mjukvaruutveckling · Cybersäkerhet · Data engineering

Gå med för uppdateringar

I korthet

Google is seeking a Senior Staff Software Engineer for their Cloud CISO team in Sweden. This role involves defining the technical strategy for formally verified, high-performance systems, architecting distributed transactional systems in Rust, and driving security initiatives. Requires extensive experience in large-scale distributed systems, Rust development, and technical leadership.

Ansvarsområden

  • 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.

Krav

  • 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).

Önskade kvalifikationer

  • 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.

Förmåner

  • 25% bonus target
  • Equity
  • Benefits
  • Mentoring Staff and Senior engineers
  • Guiding Google's participation in the global Rust and formal methods communities
#cloud#CISO#software engineering#distributed systems#database#rust#security#formal verification
Google Logo

Företag

Google

Publicerade jobb

för 6 timmar sedan

Anställningstyp

Heltid

Arbetsform

Distans

Erfarenhetsnivå

Senior

Platser

Sweden

Kvalifikation

Kandidatexamen, Doktorand

Sökande

Ansök tidigt