Overview
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.
Key Information
- Seniority Level
- Senior+
- Locations
-
🇮🇱
Yokneam, Israel | Beer Sheva, Israel | Tel Aviv, Israel
- Remote Friendly
- No
- Languages
- AdaCRust