Principal Engineer, Memory Safety and Agentic Modernization

About the role

As a Principal Engineer for Memory Safety and Agentic Modernization, you will serve as the premier technical authority and single point of contact (PoC) for Google Cloud’s virtualization memory safety strategy and AI-driven agentic coding practices. You will lead the architectural strategy to transition the foundational virtualization stack and core data plane and management daemons from C/C++ to secure-by-design Rust, focusing on enhancing the security and resilience of the virtualization stack generally.

You will 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 large-scale automated refactoring.

Drive the systems security roadmap, targeting critical data plane and control plane services for memory-safe transformation. Integrate formal methods, theorem-proving platforms (e.g., Lean, TLA+), and compile-time static guarantees to prove program correctness and ensure that unsafe Rust code is verified as safe. Serve as the dedicated single point of contact (PoC) and technical leader for Rust and agentic coding across the organization, mentoring and upskilling the engineering workforce to drive an engineering velocity multiplier.

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 large-scale automated refactoring.
• Drive the systems security roadmap, targeting critical data plane and control plane services for memory-safe transformation.
• Integrate formal methods, theorem-proving platforms (e.g., Lean, TLA+), and compile-time static guarantees to prove program correctness and ensure that unsafe Rust code is verified as safe.
• Serve as the dedicated single point of contact (PoC) and technical leader for Rust and agentic coding across the organization, mentoring and upskilling the engineering workforce to drive an engineering velocity multiplier.

Requirements

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

Preferred qualifications

• Advanced degree (e.g., Master's or PhD) in Computer Science or a related field.
• 20 years of software experience driving large-scale memory-safe language migrations.
• Experience with formal verification systems and proof assistants (e.g., Lean, TLA+, or Verus).
• Experience with AI-assisted development, automated refactoring, and leading technical teams.
• Deep specialization in hypervisor internals (e.g, KVM, QEMU), VMMs, and hardware virtualization/security.

Benefits

Note: By applying to this position you will have an opportunity to share your preferred working location from the following: Seattle, WA, USA; Sunnyvale, CA, USA.

• Health, dental, vision, life, disability insurance.
• Retail Benefits: 401(k) with company match.
• Paid Time Off: 20 days of vacation per year, accruing at a rate of 6.15 hours per pay period for the first five years of employment.
• Sick Time: 40 hours/year (increased to 69 hours/year for Seattle) including 5 discretionary sick days per instance.
• Maternity Leave (Short-Term Disability + Baby Bonding): 28-30 weeks.
• Baby Bonding Leave: 18 weeks.
• Holidays: 13 paid days per year.

Pay

US: $307000 - $427000 (USD) + 30% bonus target + equity + benefits