6 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 internal 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 critical virtualization 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 organization’s technical authority 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.
- 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: advanced degree in Computer Science or a related field.
- Preferred: 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.
About Google
Google builds consumer and enterprise software and services including Search, Android, YouTube, Chrome, Maps, Gmail, and Google Cloud. Its business model centers on digital advertising and paid cloud, software, and hardware offerings (e.g., Pixel and Nest) for consumers, developers, and organizations. Founded in 1998 and headquartered in Mountain View, California, Google operates globally as a subsidiary of Alphabet Inc.