MSc or BSc in Computer Science, Electrical/Computer Engineering, Electronics Engineering, or equivalent practical experience 8+ years of embedded Linux or systems-level development Significant hands-on experience in Linux kernel programming Demonstrated experience building or securing virtualization systems using KVM or similar hypervisors in production Strong understanding of device trees, platform initialization, power management frameworks, netfilter/virtio networking, and real-time patches (PREEMPT_RT) Experience tuning filesystems and storage for embedded environments (ext4, F2FS, etc.) Deep understanding of Linux kernel architecture, including VM management (CROSVM/QEMU), hypervisor extensions, trusted execution extensions (ARM TZ, Intel SGX/TDX), memory management, scheduling, and interrupt handling Advanced proficiency in C for kernel development Familiarity with Rust for safe systems code is a plus Experience with debugging and tracing tools (KGDB, ftrace, perf) Experience with build ecosystems (Nix, Yocto, or equivalent) Skilled in cross-compilation for AArch64 and x86_64 Experience with driver development/porting Experience with CROSVM or QEMU-based prototyping Experience with performance profiling Strong knowledge of ARM stage-1 and stage-2 translations, page table formats, and fault handling Equivalent expertise on x86 (EPT/NPT, shadow paging, INVPCID, TLB management) Ability to work with hierarchical page tables, superpages, dynamic stage-2 allocations, and hypervisor-guest mapping coherence Experience reducing translation overhead, mitigating TLB thrashing, and implementing efficient paging strategies in multi-VM setups Understanding of modern security features like encrypted memory (e.g., SEV-SNP), MTE, and attestation mechanisms tied to memory integrity