layiq
/la·yiq/adjective
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…
Job opportunity
Principal Engineer, Memory Safety and Agentic Modernization
Seattle, WA, USA; Sunnyvale, CA, USA
Source: Google careers · View original posting
- Pay
- $307,000 — $427,000 USD per year
Employer job description
From Google's posting. “We” and “our” refer to the employer.
About the job
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.
In this role, you will be responsible for orchestrating these migrations across a massive compute fleet, mitigating high-stakes guest-to-host escapes and insider threat vectors, and ensuring near bare-metal performance and absolute reliability for mission-critical enterprise workloads.
Crucially, you will drive agentic coding workflows—partnering with infrastructure AI teams to design, evaluate, and scale agentic code transformation, including C++-to-Rust code translation, automated code generation and refactoring, and AI-assisted behavioral test synthesis. You will also lead the incorporation of advanced formal verification tools (e.g., Lean, TLA+, Verus) to prove program correctness