Systems Verification & Concurrent Kernel Architecture Research Intern
NIO
About this role
This internship involves formal methods and low-level systems expertise to improve the safety and concurrency of kernel primitives on modern CPUs through automated proof techniques and hardware verification. It bridges low-level hardware understanding with formal verification, focusing on concurrency, memory models, and automated proof tools.
Skills
About NIO
nio.comNIO is much more than a car company. NIO designs and develops smart, high-performance, electric vehicles with an aim to be the first “User Enterprise” in the world.
Recent company news
Electric VehiclesNio Targets Solid-State Battery Deployment After 2027, Sets Up New R&D Base
16 hours ago
CnEVPostNio's EV motor production tops 2 million on ES8 demand
14 hours ago
FinancialContentNio’s Profit Inflection: A Deep Dive into the 2026 Outlook
14 hours ago
electrive.comNio establishes new division for solid-state batteries
14 hours ago
Simply Wall StreetIs NIO’s (NIO) EV Delivery Surge And Battery-Swap Milestone Reframing Its Tech-Centric Strategy?
16 hours ago
About NIO
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for NIO.
Salary
$38k – $46k
per year