Research and develop concurrent kernel architectures for autonomous driving systems, focusing on for
岗位职责
As a Systems Verification & Concurrent Kernel Architecture Research Intern, you will contribute to the design and verification of concurrent kernel architectures for next-generation autonomous driving systems. Your responsibilities include:
Concurrent Kernel Architecture Research: Investigate and propose novel architectures for concurrent kernel systems that ensure high performance, reliability, and safety in real-time environments.
申请条件
Currently pursuing a Master’s or PhD degree in Computer Science, Electrical Engineering, or a related field.
Strong background in operating systems, concurrent programming, and formal verification methods.
Proficiency in C/C++ or Rust; experience with Python or other scripting languages is a plus.
雇主简介
NIO is a pioneer and leading company in the premium smart electric vehicle market, designing, developing, manufacturing, and selling smart electric vehicles with innovations in autonomous driving and digital technologies.