Senior Software Engineer, Memory-Safe Languages
Yokneam, Israel | Beer Sheva, Israel | Tel Aviv, Israel
Senior Software Engineer driving adoption of memory-safe languages in embedded firmware. Ada/SPARK, Rust, and C for constrained and real-time environments, focusing on mixed-language SDLC, security reviews, and formal verification.