Principal Engineer, Memory Safety and Agentic Modernization

Job description

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.