8 hours ago
Base Salary
$207k - $300k/yr
Responsibilities
- Lead the design and implementation of solutions in specialized ML areas.
- Optimize ML infrastructure and guide model optimization and data-processing strategies.
- Define the multi-year technical vision and architectural roadmap for formally verified systems across Google Cloud CISO.
- Lead architecture and implementation of distributed transactional systems, storage layers, and query engines built in Rust and verified with Verus.
- Formulate verification strategies for distributed protocols, including correctness, fault tolerance, and data integrity under arbitrary failure modes.
- Replace legacy components with formally verified, resource-efficient alternatives across internal and open-source infrastructure.
- Partner with VP-level and Principal engineering leadership on verification standards, security baselines, and developer tooling.
Requirements
- 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, including model deployment, model evaluation, data processing, debugging, or fine tuning.
- 5 years of experience developing production-critical systems in Rust.
- 3 years of experience in technical leadership, multi-year architectural roadmaps, and cross-organizational technical initiatives.
- Experience with formal specification, formal methods, or verified systems development, such as Verus, TLA+, SMT verification, or proof-carrying code.
- Preferred: PhD in Computer Science focused on distributed systems, transactional storage, database engines, or formal verification.
- Preferred: Experience with petabyte-scale storage engines, distributed consensus protocols, low-latency key-value databases, hardware-conscious algorithmic design, query optimization, LSM-tree architectures, or zero-copy memory pipelines.
- Preferred: Contributions to systems and Rust open-source ecosystems.
- Preferred: Ability to influence executive leadership and drive adoption of verification technologies across product areas.
- Preferred: Research publications in systems and data engineering venues such as OSDI, SOSP, NSDI, VLDB, SIGCOMM, or EuroSys.
Tech Stack
Google CloudRust
Categories
About Google
Google builds consumer and enterprise software and services including Search, Android, YouTube, Chrome, Maps, Gmail, and Google Cloud. Its business model centers on digital advertising and paid cloud, software, and hardware offerings (e.g., Pixel and Nest) for consumers, developers, and organizations. Founded in 1998 and headquartered in Mountain View, California, Google operates globally as a subsidiary of Alphabet Inc.