Fall 2026
Systems Verification & Concurrent Kernel Architecture Intern
Updated on 9/3/2026
Nio
5,001-10,000 employees
Automotive-grade SoC designer for autonomous driving
Compensation Overview
$38 - $46/hr
San Jose, CA, USA
In Person
Master's, PhD
 Software Engineering (1) |
|---|
Get referred to Nio
See people who can refer or advise you
- 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.
- Demonstrate deep proficiency in C and the ability to reason about memory alignment, volatile keywords, and hardware interrupts.
- Be comfortable reading ARMv8 assembly to ensure compiler optimizations have not compromised synchronization.
- Understand L1/L2 cache coherency, including MESI, lock hierarchies, and weak-memory hardware behavior when barriers are missing.
- Be able to model software as a discrete state machine and reason formally about software correctness.
- Persist through state-space explosion and cryptic model-checker errors, and investigate rare interleaving failures.
- Formalize locking protocols in TLA+ and Spin to prove the absence of deadlocks and circular waits.
- Apply bounded model checking with ESBMC and CBMC to C source code to scan for data races, pointer safety issues, and invariant violations.
- Verify memory-barrier placement to prevent hardware-level synchronization failures on modern central processing units.
- Use large language models as an inference engine to synthesize formal invariants and environment harnesses, then critically audit the results for logical soundness.
GeniTech designs and develops high-performance automotive system-on-chips (SoCs) for autonomous driving. Its flagship Shenji NX9031 uses a 5-nanometer automotive-grade process with over 50 billion transistors to power real-time sensor fusion and decision-making. The company targets OEMs and smart-driving system suppliers with proprietary, high-density compute cores, a high-dynamic-range ISP, and a heterogeneous many-core pool that delivers millisecond-level latency, all built with a full-stack in-house hardware-software approach. GeniTech differentiates itself by combining internal hardware supply to its parent company with external IP licensing and joint ventures, aiming to industrialize automotive semiconductors and monetize through licensing, royalties, and collaborations in automotive and robotics.
Company Size
5,001-10,000
Company Stage
Early VC
Total Funding
$310.3M
Headquarters
Huangpu, China
Founded
2014
Get referred to Nio
See people who can refer or advise you
Simplify's Take
What believers are saying
- Shenji raised $330 million in February 2026, funding chip commercialization.
- June 2026 deliveries hit 40,597, lifting Q2 volume 49.4% year over year.
- Nio's recall used OTA fixes, preserving customer trust and limiting dealer costs.
What critics are saying
- Nio recalled 246,229 ES8, ES6, and EC6 vehicles for screen blackouts in 2026.
- Q2 2026 deliveries missed guidance by 2,342 units, signaling execution slippage.
- Rising competition from BYD and Tesla keeps pricing pressure brutal through 2026.
What makes Nio unique
- Shenji NX9031 matches four Nvidia Orin X chips, reducing Nio dependence.
- Nio retained 62.7% control after Shenji's CNY2.3 billion spinout financing.
- Onvo and Firefly extend Nio's multi-brand strategy across premium and mass segments.
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
Company News
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%.
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.
Xiaomi has unveiled its in-house self-driving chip, the Xring D100, for commercial deployment in 2027. The chip will be built on a 3-nanometre process and features a 20-core CPU and 16-core NPU. It will run large language models with 200 billion parameters locally. Xiaomi's electric vehicles currently rely mainly on Nvidia's Thor chips for smart-driving systems. The company joins other Chinese automakers developing proprietary autonomous driving technology. NIO's CEO William Li previously said in-house chip design would be more cost-efficient than competitors. XPeng has outlined its roadmap to Level 4 autonomous driving by 2028. Tesla CEO Elon Musk announced plans for the Terafab semiconductor facility in Texas, which would develop chips using a 2-nanometre process.
Nio reports second-quarter earnings on 1 September as US-listed shares head for a fourth consecutive monthly loss. Fiscal.ai expects revenue to surge nearly 69% to 33.60 billion yuan, with EBITDA swinging to a profit of 1.81 billion yuan from a 3.75 billion yuan loss last year. The Chinese EV maker delivered 107,658 vehicles during the quarter, up 49% year-on-year but below guidance of 110,000 to 115,000 units. First-half deliveries climbed 67.4% to 191,123 vehicles. Nio's premium-heavy product mix may help defend margins. First-quarter gross margin reached a four-year high of 19%, whilst vehicle margin climbed to 18.8%. The company posted adjusted operating profit of 66.8 million yuan and adjusted net income of 43.5 million yuan in the first quarter.
NIO has launched its first fifth-generation battery swap station in China, marking the company's 4,000th swap station in the country. The new generation stations are designed for faster battery swaps, larger energy storage, and compatibility across all NIO brands. The electric vehicle manufacturer plans to expand to more than 5,000 fifth-generation stations, with management targeting over 10,000 stations by 2030. The rollout aims to support additional capacity, enhance customer experience, and enable multi-brand coverage. NIO currently trades at $4.88, approximately 34% below the analyst consensus target of $7.35. The share price has declined 1.8% over the past 30 days. The swap network expansion represents a capital-intensive initiative as NIO positions its service model within China's competitive EV market.