Staff Software Engineer: ML Infra & Verified Rust

Google; San Francisco (CA); On-site; USD 207,000 - 300,000; Full time

Benefits offered by this job

Health insurance

Dental insurance

Vision insurance

Life insurance

Disability insurance

401(k) with company match

Paid time off

Sick time

Job summary

Google Cloud's software engineers develop next-generation technologies that change how billions of users connect, explore, and interact with information. We seek engineers with fresh ideas across information retrieval, distributed computing, large-scale system design, networking, data storage, security, AI, NLP, UI and mobile; opportunities to switch teams grow with the company.

Individual pay is determined by factors including job-related skills, experience, and relevant education or training.

Qualifications

• 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-c carrying code).

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 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.
• Lead initiatives to replace legacy components with formally verified, resource-efficient alternatives across internal and open-source infrastructure.

Skills

Bachelor's degree

Distributed systems

ML design/infrastructure

Rust production systems

Technical leadership

Formal verification

Education

Bachelor's degree or equivalent practical experience

PhD in Computer Science

Tools

Verus

TLA+

SMT verification

Job description

Google Cloud's software engineers develop next-generation technologies that change how billions of users connect, explore, and interact with information. We seek engineers with fresh ideas across information retrieval, distributed computing, large-scale system design, networking, data storage, security, AI, NLP, UI and mobile; opportunities to switch teams grow with the company.

Individual pay is determined by factors including job-related skills, experience, and relevant education or training.