About Google
Learn more about Google. Explore our innovative AI products and services, and how we. Backed by Kleiner Perkins.
About the role
Google Cloud's software engineers develop the next-generation technologies that change how billions of users connect, explore, and interact with information and one another. 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.
What they're looking for
- Bachelor’s degree 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 with ML design and ML infrastructure (e.g., model deployment, model evaluation, data processing, debugging, fine tuning)
- 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)
More about this role
- 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.
- Bachelor’s degree or equivalent practical experience.
- 8 years of experience architecting, implementing, and operating large-scale distributed systems, transactional storage engines, or...
Browse similar: Startup jobs