Staff Software Engineer, ML & Distributed Systems

Google; New York (NY); 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

Maternity leave

Baby bonding leave

Holidays

Equity

Bonus

Job summary

Google Cloud's software engineers develop next-generation technologies to connect billions of users with information. This role focuses on designing scalable, formally verified distributed systems in Rust and leading multi-year architectural roadmaps across Google Cloud.

Ideal candidates bring deep expertise in distributed systems, ML infrastructure, and formal verification, with a track record of cross-functional leadership and high-assurance software development.

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 (model deployment, evaluation, data processing, debugging, fine tuning).
• 5 years of experience developing production-critical systems in Rust.
• 3 years of experience in technical leadership, setting architectural roadmaps, and cross-organizational initiatives.
• Experience with formal specification, formal methods, or verified systems development (e.g., Verus, TLA+, SMT verification, or proof-carrying code).

Responsibilities

• Lead design and implementation of solutions in specialized ML areas and guide ML infrastructure development.
• Define multi-year technical vision and architectural roadmap for verified systems across Google Cloud CISO.
• Lead end-to-end architecture of distributed transactional systems, storage layers, and query engines built in Rust with verification.
• Drive initiatives to replace legacy components with formally verified, resource-efficient alternatives; establish verification standards and tooling.

Skills

Distributed systems

Rust

ML infrastructure

Formal verification

Architectural leadership

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 to connect billions of users with information. This role focuses on designing scalable, formally verified distributed systems in Rust and leading multi-year architectural roadmaps across Google Cloud.

Ideal candidates bring deep expertise in distributed systems, ML infrastructure, and formal verification, with a track record of cross-functional leadership and high-assurance software development.