

What you’ll be doing:
Design and implement core RTOS features
Design and implement core virtualization features using hardware-assisted virtualization capabilities NVIDIA Tegra SOCs
Implement industry standard virtualization interfaces
Develop software that meets automotive safety and security standards, and apply formal methods (i.e. TLA+) to improve software integrity.
What we need to see:
BS, MS in CS/CE/EE or a related engineering field or equivalent experience
8+ years of experience
Proficiency in C, C++
Experience in development of core rtos and virtualization software features
Strong understanding of operating systems and computer architecture
Experience on ARM 64-bit architecture
Clear, concise communication skills
Ways to stand out from the crowd:
Knowledge of Automotive quality standards, ASPICE, ISO 26262, ISO 21434
Hands-on experience with formal verification methods and tools, such as TLA+
You will also be eligible for equity and .
משרות נוספות שיכולות לעניין אותך