מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
What you’ll be doing:
Design and implement core hypervisor features for NVIDIA Tegra SOCs
Implement industry standard virtualization interfaces (e.g., FFA, Virt IO)
Develop software features that improve system performance, make effective use of hardware-assisted virtualization capabilities to minimize virtualization software overhead. Develop micro benchmarks to measure and improve the cost of frequent hypervisor operations.
Develop software that meets automotive safety and security standards, and apply formal methods (ADA SPARK, TLA+) to improve software integrity.
What we need to see:
BS, MS in CS/CE/EE or a related engineering field or equivalent experience
12+ years of experience
Proficiency in C, C++
Experience in development of core 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 Ada/SPARK and TLA+
Experience with implementation of industry standard interfaces like ARM FFA, Virt-IO Transport
Experience with performance optimization of virtualization software
You will also be eligible for equity and .
משרות נוספות שיכולות לעניין אותך