Staff Software Engineer, Google Cloud CISO at Google · New York…

Lead the design and implementation of solutions in specialized ML areas, optimize ML infrastructure, and guide the development of model optimization and data processing strategies. Define the multi-year technical vision 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.