Senior Staff Software Engineer, Cloud CISO

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

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