Senior Security Engineer, RTOS and Virtualization
$124K - $171K/yr
Drove adoption of Rust, Ada/SPARK, formal methods, or other memory-safe and analyzable systems approaches. * Built capability-based or ownership-based security models for low-level systems. * Built ...
New
