Principal Memory-Safety Systems Architect (Rust)

Google; Seattle (WA); On-site; USD 307,000 - 427,000; Full time

Benefits offered by this job

Health insurance

401(k) with company match

Paid time off

Sick time

Job summary

Google Cloud seeks a Principal Engineer for Memory Safety and Agentic Modernization to lead the memory-safety strategy and AI-driven code migrations from C/C++ to Rust. You will guide large-scale architectural changes across a vast compute fleet and establish rigorous verification of safety for the runtime stack.

You will partner with AI tools teams to shape agentic coding workflows, automate translations, and drive formal verification adoption while ensuring high performance and reliability for

Qualifications

• Bachelor’s degree in Computer Science, Computer Engineering, or equivalent practical experience.
• 15 years of professional software development experience, or 13 years with an advanced degree.
• Experience architecting and developing low-level systems software (e.g., operating systems, kernels, hypervisors, runtime environments, or compilers).
• Experience with Rust, C, and C++.

Responsibilities

• Lead the architectural strategy and technical execution for migrating the virtualization stack.
• Partner with internal AI engineering teams to design and deploy agentic coding tools and methodologies to automate C/C++ to Rust migration, generate behavioral tests, and execute automated refactoring.
• Drive the systems security roadmap, targeting critical data plane and control plane services for memory-safe transformation.
• Integrate formal methods to prove program correctness and ensure unsafe Rust code is verified as safe.
• Serve as the single point of contact for Rust and agentic coding across the org, mentoring the engineering workforce.
• Learn more about benefits at Google.

Skills

Software development experience

Low-level systems design

Rust/C/C++ experience

Architecting large-scale systems

Education

Bachelor’s degree in CS/CE or equivalent

Advanced degree (Master/PhD) preferred

Tools

Lean

TLA+

Verus

C/C++

Rust

Job description

Google Cloud seeks a Principal Engineer for Memory Safety and Agentic Modernization to lead the memory-safety strategy and AI-driven code migrations from C/C++ to Rust. You will guide large-scale architectural changes across a vast compute fleet and establish rigorous verification of safety for the runtime stack.

You will partner with AI tools teams to shape agentic coding workflows, automate translations, and drive formal verification adoption while ensuring high performance and reliability for