Systems Verification & Concurrent Kernel Architecture Intern @ Nio

JOB DESCRIPTION

About NIO

NIO is a pioneer and a leading company in the premium smart electric vehicle market. Founded in November 2014, NIO’s mission is to shape a joyful lifestyle. NIO aims to build a community starting with smart electric vehicles to share joy and grow together with users.

NIO designs, develops, jointly manufactures and sells premium smart electric vehicles, driving innovations in next-generation technologies in autonomous driving, digital technologies, electric powertrains and batteries. NIO differentiates itself through its continuous technological breakthroughs and innovations, such as its industry-leading battery swapping technologies, Battery as a Service, or BaaS, as well as its proprietary autonomous driving technologies and Autonomous Driving as a Service, or ADaaS.

NIO’s product portfolio consists of the ES8, a six-seater smart electric flagship SUV, the ES7 (or the EL7), a mid-large five-seater smart electric SUV, the ES6, a five-seater all-round smart electric SUV, the EC7, a five-seater smart electric flagship coupe SUV, the EC6, a five-seater smart electric coupe SUV, the ET7, a smart electric flagship sedan, and the ET5, a mid-size smart electric sedan.

The Mission

Transitioning a kernel from a monolithic "Big Kernel Lock" to fine-grained concurrency is a high-risk engineering challenge. Traditional testing is mathematically incapable of catching the non-deterministic "Heisenbugs" inherent in parallel execution. This internship is a 3-month intensive study to determine the practical limits of using automated formal methods to guarantee the safety of concurrent kernel primitives.

The Challenge: The "Logic-to-Silicon" Gap

You will navigate the intersection of low-level systems grit and formal rigor to bridge three volatile domains:

Concurrency: Managing state-space explosion when multiple cores access shared kernel objects simultaneously.

Memory Models: Ensuring locks respect the weak consistency and instruction reordering of ARMv8/RISC-V hardware.

Automated Proof: Using SMT-based tools to achieve high-assurance "push-button" verification without the years-long overhead of manual theorem proving.

Roles and Responsibilities

Design Logic (TLA+/Spin): Formalize locking protocols to mathematically prove the absence of deadlocks and circular waits.
Implementation Audit (ESBMC/CBMC): Apply Bounded Model Checking to C source code to exhaustively scan for data races, pointer safety, and invariant violations.
Hardware Mapping: Verify the placement of memory barriers to prevent hardware-level synchronization failure on modern CPUs.
AI-Augmented Scaling: Leverage LLMs as an "Inference Engine" to synthesize formal invariants and environment harnesses, then critically audit the results for logical soundness.

Qualifications

Currently pursuing or completed a PhD or Master’s degree in Computer Science, Computer Engineering, Applied Mathematics, or a related field with relevant research projects and publications.
Low-Level Systems Mastery: Deep proficiency in C; ability to reason about memory alignment, volatile keywords, and hardware interrupts. You should be comfortable reading ARMv8 assembly to ensure compiler optimizations haven't compromised synchronization.
Concurrent Intuition: A visceral understanding of L1/L2 cache coherency (MESI), lock hierarchies, and why a "correct" C program can fail on weak-memory hardware if barriers are missing.
Formal & Logical Rigor: The ability to model software as a discrete state-machine. You should prefer a "proof of absence" (no bugs exist) over a "proof of presence" (one test passed).
The Researcher's Grit: Persistence in the face of "state space explosion" or cryptic model-checker errors. You must be a detective capable of pruning models to find one-in-a-billion interleaving failures.

Compensation:

The US base salary range for this full-time position is $38.00 - $46.00.

Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training.
Please note that the compensation details listed in US role postings reflect the base salary only. It does not include discretionary bonus, equity, or benefits.

About the company

NIO designs, develops, manufactures and sells premium smart electric vehicles and builds a community aroundEV ownership. Its cars are high‑end SUVs and sedans that integrate autonomous driving, digital technologies and advanced electric powertrains. The company differentiates itself with services and technologies such as Battery as a Service (BaaS) and battery swapping stations, as well as proprietary autonomous driving systems and an Autonomous Driving as a Service (ADaaS) offering. NIO’s products work by pairing electric vehicles with a flexible battery service model and software-driven driving features that continuously improve through over‑the‑air updates and on‑vehicle sensors. The company aims to let customers share joy and grow with a user community while advancing next‑generation mobility through its EV lineup and related services.

Company Size

5,001-10,000

Company Stage

IPO

Headquarters

Huangpu, China

Founded

2014

Get referred to Nio

See people who can refer or advise you

Simplify's Take

What believers are saying

August 2026 deliveries rose 14.5% year over year to 35,836 vehicles.
Q2 2026 vehicle margin reached 18.5%, showing stronger pricing and cost control.
Firefly and Onvo broaden NIO beyond premium buyers, helping volume growth in China.

What critics are saying

Europe remains broken; July 2026 Germany registrations were just three, down 93.6%.
POSCO sued NIO subsidiaries in Europe on July 10, 2026, risking costly injunctions.
Battery swapping is capital-intensive; if utilization stalls, NIO Power drains cash again.

What makes Nio unique

September 28, 2026 Geely deal validates NIO Power's battery-swap technology and standards.
August 7, 2026 marked NIO's 4,000th swap station and first fifth-generation site.
NIO now runs 9,433 charging and swapping stations, creating ecosystem lock-in.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Insurance, Health & Wellness
401k
Maternity & Paternity Leave
Work From Home
Reduced or Flexible Hours
Paid Vacation, Sick Days, Holidays, and Bereavement Leave
Employee Assistance Program
Discounted Gym Membership
Professional Development Opportunities

Growth & Insights and Company News

6 month growth

1 year growth

-1%

2 year growth

Yahoo Finance

Oct 29th, 2026

Nio's deliveries jump 25.4% to 109,178, but investors eye 18.5% vehicle margin in Q3 earnings

Nio delivered 109,178 vehicles in the third quarter, up 25.4% year over year. Investors now await its earnings report to see whether the sales translate into healthy profits. The key figure is vehicle margin, which was 18.5% in the second quarter, up from 10.3% a year earlier. Premium ES8 and ES9 SUVs each earned margins above 20%, and the premium Nio brand's share of deliveries rose from about 42% to 57%. Rising costs for memory chips, batteries, and other materials pose a risk. Management aims to hold third- and fourth-quarter margins near the second-quarter level, which would still beat the 14.7% recorded in the third quarter last year.

Sohu

Sep 28th, 2026

Li Bin allies with Li Shufu as Nio Power's valuation reaches $2.2B

Nio Energy has secured a strategic investment from Geely Holding Group, valuing the battery-swapping unit at CNY 16 billion. Under the agreement, Geely will acquire a 30% stake in Nio Energy by contributing its 100% ownership of Yiyi Hulian plus CNY 640 million in cash. The partnership consolidates battery-swapping operations for both commercial and private vehicles. Nio Energy will integrate Yiyi Hulian's commercial vehicle swapping business, whilst Geely will develop consumer-focused swapping vehicles using Nio Energy's network. Additionally, Nio will take a 10% stake in Geely's Haohan Energy charging business. Previously, Nio Energy raised CNY 1.5 billion from Wuhan state-backed investors in 2024. CATL announced plans to invest up to CNY 2.5 billion in March 2025. As of September 2025, Nio operates 4,126 battery-swap stations nationwide, having completed over 125 million swaps.

Yahoo Finance

Sep 11th, 2026

NIO posts 18.5% vehicle margin but Europe registrations crash 89% in key markets

NIO reported second-quarter 2026 results showing operational progress in China but continued European struggles. The Chinese electric vehicle maker delivered 107,658 vehicles, up 49.4% year-over-year, with revenue rising 69.1% to RMB32.14 billion ($4.74 billion), though this missed Wall Street's $4.95 billion consensus. Vehicle gross margin improved to 18.5% from 10.3% a year earlier. Net loss narrowed 89.4% year-over-year to RMB0.5 billion, and the company posted an adjusted net profit of RMB26.1 million. However, European performance deteriorated sharply. Germany saw just three NIO registrations in July, down 93.6% year-over-year, whilst Netherlands registrations fell 87.9% in the first seven months of 2026. J.P. Morgan downgraded the stock post-earnings to $4.50, citing concerns about flat-to-declining China demand in 2027. Hedge fund ownership dropped from 31 to 27 funds in Q2.

Yahoo Finance

Sep 1st, 2026

Nio falls 4% on Q2 revenue miss despite 14.5% YoY August delivery growth

Nio shares fell 4.02% to $4.06 after the Chinese EV maker's second-quarter revenue missed estimates despite strong year-over-year growth. Trading volume surged to 77.8 million shares, 174% above its three-month average. The company reported Q2 revenue jumped 69.1% year over year and 26% sequentially from Q1, but fell short of expectations amid intense competition in China and Europe. Vehicle margins also declined from the previous quarter, raising concerns about price pressures and rising component costs. Nio posted stronger August delivery numbers, with unit volume up 14.5% year over year, driven by its new mass-market sub-brands Firefly and Onvo. However, the company still reported a small operating loss in Q2, slightly worse than Q1 results. The broader market declined, with the S&P 500 down 0.71% and Nasdaq falling 1.03%.

Yahoo Finance

Sep 1st, 2026

NIO reports record $4.4B revenue, 18.5% vehicle margin amid rising chip costs

NIO Inc reported record financial results for Q2 2026, with total revenue reaching RMB32.1 billion, up 69.1% year-over-year. The Chinese electric vehicle maker delivered 107,658 vehicles in the quarter, a 49.4% increase from the previous year. Vehicle gross margin stood at 18.5%, despite rising raw material and chip costs. The company achieved adjusted operating profit of RMB0.2 billion and positive free cash flow, boosting its cash position to RMB56.7 billion. NIO's flagship ES9 model faces wait times of 3-4 months due to strong demand, whilst the ES8 surpassed 140,000 deliveries. The company expanded its battery swap network to 4,123 stations, including a new fifth-generation station costing RMB1.4 million. For Q3 2026, NIO expects deliveries between 108,000 and 111,000 units.

Nio

Systems Verification & Concurrent Kernel Architecture Intern

About the job

The Mission

The Challenge: The "Logic-to-Silicon" Gap

Roles and Responsibilities

Qualifications

About the company

Get referred to Nio

Simplify's Take

What believers are saying

What critics are saying

What makes Nio unique

Benefits

Growth & Insights and Company News

6 month growth

1 year growth

2 year growth