Senior Staff Systems Engineer: Rust, ML Infra & Verification

Socket.dev; Sunnyvale (CA); On-site; USD 207,000 - 300,000; Full time

Job summary

Google Cloud is seeking senior software engineers to design and implement high-performance, formally verified systems spanning distributed storage and ML infrastructure. You will own multi-year architectural roadmaps and lead Rust-based components while collaborating across teams to push scalable, reliable solutions.

This role requires leadership, strong problem-solving, and the ability to drive verification standards with VP-level and Principal engineers; expect impact across multiple product

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

Responsibilities

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

Skills

Distributed systems

Rust production systems

ML infrastructure

Formal verification

Technical leadership

Formal specification

Education

Bachelor's degree or equivalent practical experience

PhD in Computer Science (Distributed Systems / Verifications)

Tools

Verus

TLA+

SMT verification

Job description

Google Cloud is seeking senior software engineers to design and implement high-performance, formally verified systems spanning distributed storage and ML infrastructure. You will own multi-year architectural roadmaps and lead Rust-based components while collaborating across teams to push scalable, reliable solutions.

This role requires leadership, strong problem-solving, and the ability to drive verification standards with VP-level and Principal engineers; expect impact across multiple product