N
Systems Verification & Concurrent Kernel Architecture Research Intern
NIOSan Jose, CA · internship · Intern
$38 – $46 / hour
Listed on NIO’s own careers site. You apply with them directly — we never stand between you and the employer.
What this role is
This is a three-month intensive research internship focused on using formal verification methods to validate concurrent kernel architectures and locking protocols. It suits researchers with strong systems fundamentals and mathematical rigor who want to bridge theory and practice in high-assurance kernel design.
Our summary, not NIO’s wording. The full posting is on their site.
What they ask for
Required
- PhD or Master's degree in Computer Science, Computer Engineering, Applied Mathematics, or related field
- Deep proficiency in C and low-level systems
- Understanding of concurrent programming and cache coherency
- Formal methods and discrete state-machine modeling
Nice to have
- Experience with model checkers like ESBMC or CBMC
- Knowledge of memory barrier semantics on weak-consistency hardware
- Experience using LLMs for formal invariant synthesis