# Systems Verification & Concurrent Kernel Architecture Research Intern

Hiring organization: [NIO](https://career.thegoodapps.co/organizations/nio)

Canonical page: https://career.thegoodapps.co/jobs/d3840122-cb74-4c7d-8e2f-b40dbd05898a

Listed on NIO's own careers site. Applications go to them directly.

- Employment type: internship
- Seniority: Intern
- Location: San Jose, CA
- Salary: 38 – 46 USD per hour

## Summary

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._

## Skills named

Risc-V, SPIN Selling

## 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

Apply on NIO's site: https://nio.wd3.myworkdayjobs.com/en-US/NIO_Careers/job/San-Jose-US/Systems-Verification---Concurrent-Kernel-Architecture-Research-Intern_R-000139