← All roles

Senior Software Engineer (Android Platform VMs)

Anduril· Connected Warfare : Warfighter Systems Engineering : Software Engineering
Apply on company site
Bellevue, WA$191k - $253kFull-timePosted 3w ago

About the role

Senior Software Engineer to design, implement, and harden Android VMs running on crosvm and contribute to platform security, spanning the VMM, guest kernel, secure boot, and trust/modeling to enable secure Android in virtual machines.

Responsibilities

  • Design, build, and maintain Android VMs running on crosvm, including VMM configuration, device models (virtio), and guest/host integration
  • Bring up and boot Android guest images inside a VM: kernel, bootloader, init, and Android framework layers
  • Harden the virtualization boundary: reduce attack surface, sandbox device backends, and reason about guest-to-host and host-to-guest threat models
  • Implement and validate secure boot and chain-of-trust for the VM (measured/verified boot, key management, rollback protection)
  • Analyze and mitigate Android VM security issues; contribute to threat modeling, security reviews, and vulnerability remediation
  • Debug across the stack — hypervisor/VMM, guest kernel, and Android userspace — using the appropriate tooling for each layer
  • Collaborate with platform, kernel, and security teams to isolate and resolve issues that span hardware, firmware, and software
  • Document architecture, security properties, trust boundaries, and design decisions

Qualifications

  • Strong systems programming in C/C++ and Rust, including low-level work with memory safety, concurrency, and performance under real constraints
  • Hands-on experience with crosvm (or a comparable VMM such as QEMU/rust-vmm/Firecracker): device models, virtio, VM lifecycle, and VMM configuration
  • Solid understanding of virtualization and hardware-assisted virtualization (KVM, guest/host memory management, vCPUs, MMIO/IOMMU, virtio transport)
  • Android VM security knowledge: guest/host isolation, sandboxing of VMM/device backends, and the guest-to-host attack surface
  • Android platform security fundamentals: SELinux/sandboxing, verified boot (AVB/dm-verity), keystore/KeyMint, and the Android trust model
  • Secure boot and chain-of-trust: measured vs. verified boot, signing and key management, rollback protection, and root-of-trust concepts
  • Comfortable working from specifications, kernel/driver source, and register-level documentation
  • Ability to debug low-level systems issues (kernel logs, ftrace/perf, gdb, VMM tracing/logging) across host and guest
  • Git proficiency
  • Eligibility: Must be eligible to obtain and maintain a U.S. Security Clearance

Skills

Required:C/C++Rustcrosvm / VMMs

Benefits

  • Comprehensive, competitive benefits package (available at little to no cost to employees)
Last updated Oct 7, 2026. Interested? Apply on the company site.

About Anduril

defense-aero-and-safetyliquid-ai-recruiting-targetsetter-30setter-30-2026-q1wing-list-2026wing-list-2026-giga-stage
Company profileWebsite

More open roles at Anduril