Staff Software Engineer, Cloud ML & Formal Verification

Google Inc.; 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 leave

Maternity leave

Baby bonding leave

Holidays

Job summary

Google Cloud is seeking a Staff Software Engineer for its CISO group to design and implement advanced ML and verified systems at scale. You will lead multi-year architectural roadmaps, drive cross-organizational initiatives, and build production-critical Rust code and storage components.

The role emphasizes formal verification, security-focused architecture, and collaboration with senior leadership to advance Google's security and reliability standards.

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 ML solutions and optimize ML infrastructure.
• Define multi-year technical vision and architectural roadmap for verified systems.
• Lead end-to-end architecture of distributed transactional systems, storage, and Rust-based engines.
• Drive replacement of legacy components with formally verified, efficient alternatives and set verification standards.

Skills

Distributed systems

ML design

Rust

Technical leadership

Formal methods

Education

Bachelor's degree or equivalent practical experience

PhD in CS (preferred)

Tools

Verus

SMT verification

Proof-carrying code

Job description

Google Cloud is seeking a Staff Software Engineer for its CISO group to design and implement advanced ML and verified systems at scale. You will lead multi-year architectural roadmaps, drive cross-organizational initiatives, and build production-critical Rust code and storage components.

The role emphasizes formal verification, security-focused architecture, and collaboration with senior leadership to advance Google's security and reliability standards.