7 days ago
Base Salary
$307k - $427k/yr
Responsibilities
- Lead the architectural strategy and technical execution for migrating the virtualization stack from C/C++ to Rust.
- Partner with AI engineering teams to design and deploy agentic coding tools for code translation, automated refactoring, code generation, and behavioral test synthesis.
- Drive the systems security roadmap for memory-safe transformation of critical data plane and control plane services.
- Integrate formal methods, theorem-proving platforms, and compile-time guarantees to prove program correctness and verify unsafe Rust code.
- Serve as the organizational technical leader and single point of contact for Rust and agentic coding while mentoring and upskilling engineers.
Requirements
- Bachelor’s degree in Computer Science, Computer Engineering, or equivalent practical experience.
- At least 15 years of professional software development experience, or 13 years with an advanced degree.
- Experience architecting and developing low-level systems software such as operating systems, kernels, hypervisors, runtime environments, or compilers.
- Experience with Rust, C, and C++.
- Preferred experience includes 20 years of software experience driving large-scale memory-safe language migrations.
- Preferred experience with formal verification systems and proof assistants such as Lean, TLA+, or Verus.
- Preferred experience with AI-assisted development, automated refactoring, and leading technical teams.
- Preferred deep specialization in hypervisor internals, including KVM, QEMU, VMMs, and hardware virtualization and security.
Benefits
- Google benefits are referenced in the posting.
- US base pay is listed as $307000-$427000, with a 30% bonus target, equity, and benefits.
About Google
A problem isn't truly solved until it's solved for all. Googlers build products that help create opportunities for everyone, whether down the street or across the globe. Bring your insight, imagination and a healthy disregard for the impossible. Bring everything that makes you unique. Together, we can build for everyone. Check out our career opportunities at goo.gle/3DLEokh