#JR1983469
s for Hypervisor based systems on NVIDIA Tegra SOC
Establish & bring-up system software on next generation NVIDIA Tegra SOC
Architect and implement solutions to complex issues & defects involving interactions between components partitioned across the large software stack
Use Formal Methods to design and develop high integrity software
What we need to see:
BS/MS in electrical engineering, computer science, or computer engineering or equivalent experience
Excellent embedded C programming skills
Good knowledge of debugging methodologies
Good understanding of computer architecture, operating system fundamentals
Hands-on experience in BSP porting.
A strong teammate; self-motivated with a positive approach!
1-5 years experience in relevant field.
Ways to stand out from the crowd:
Background with networking, network switches and time synchronization mechanisms
Experience developing drivers on QNX, LK or other RTOS on 32/64-bit ARM SoC.
Hands-on experience with Debugging Tools like JTAG, DSTREAM
Having knowledge of Ada/SPARK programming and TLA+ formal verification modeling.
NVIDIA is widely considered to be one of the technology world's most desirable employers. We have some of the most resourceful and dedicated people in the world working for us. Do you want to be one of them? If you're creative and self driven, we want to hear from you! We are an equal opportunity employer and value diversity at our company.