PhD or postdoc opportunity in next-generation security testing and vulnerability management for embedded systems. Develop hybrid testing blending fuzzing, symbolic execution, and AI to boost vulnerability detection and prioritization. Open to top-tier CS graduates; starts Summer 2026; up to 4 years.