senior software engineer, memory-safe languages

we are looking for a  software engineer networking security team is looking for an outstanding  software engineer with strong expertise in  Embedded systems and programming in memory-safe languages to drive the integration of memory-safe languages into firmware stack. in this role, you will help define and complete our next-generation firmware development methodologies. youll be responsible for introducing memory-safe practices, shaping language-integration standards, and improving the reliability and safety of our firmware products.
what you'll be doing: drive the adoption of memory-safe development practices across firmware teams.
lead the definition and implementation of a mixed-language sdlc for firmware that incorporates memory safe-languages alongside  C.
assist architecture and r&d teams in designing firmware components suitable for implementation in memory safe languages.
perform security reviews of existing  C modules and propose migration or refactoring strategies.
provi

דרישות:

academic degree in  Computer Science, electrical engineering, or an associated technical area, or equivalent professional experience.
5+ years of experience in  Embedded software development.
strong experience in constrained or  Real-Time environments.
hands-on experience with memory-safe languages (ada/spark, rust, or similar).
understanding of firmware architecture, safety-critical development, or systems requiring high reliability.
ability to drive significant methodological and architectural changes across larger teams.
ability to work independently and collaboratively in a dynamic environment.
excellent communication and technical leadership skills.
ways to stand out from the crowd: practical experience with ada/spark in production systems.
practical experience with formal verification of complex software systems.
m.sc. or phd in  Computer Science, electrical engineering, or related fields.
background in firmware architecture or leading r&d efforts.
experience with for