We are looking for a Software Engineer
our company 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.
Provide guidance on interoperability and integration with C, including toolchains, build systems, and runtime considerations.
Mentor teams and developers, promoting guidelines for safe, maintainable, and verifiable embedded firmware development.
Serve as a technical focal point across multiple development groups, including hands-on contributions to code development.
Requirements: 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 formal verification, static analysis, or high-assurance systems.
This position is open to all candidates.