Fall 2026
Systems Verification & Concurrent Kernel Architecture Intern
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 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.
Nio shares trade below $5, down 89% over five years, creating a stark divide between Reddit sentiment and Wall Street forecasts. Reddit investors express exhaustion, with one user holding 141 shares at $47.79 average facing a $6,000 unrealised loss from the 2020 EV boom. Wall Street maintains a $7.39 average price target with 75% bullish consensus among analysts. Six analysts rate the stock Strong Buy, 12 say Buy, five Hold, and one Strong Sell. Nio delivered 83,465 vehicles in Q1, up 98% year-over-year, with vehicle margin expanding to 19%. Management guided Q2 deliveries to 110,000-115,000 units on revenue of $4.75-4.99 billion. However, the company posted a GAAP loss and included going-concern language in FY2025 filings.
Goldman Sachs upgraded Chinese electric vehicle maker Nio from "neutral" to "buy" on 13 July, setting a $7 price target that implies 42% upside from the current share price of $4.93. The upgrade follows Nio's strong June and second-quarter delivery results, with 40,597 vehicles delivered in June and 107,658 for the full quarter. Goldman cited a "successful turnaround" driven by the ES8 and ES9 premium SUV models. The investment firm projects 43% vehicle volume growth and 60% revenue growth for Nio in 2026, vastly outpacing the 1% growth expected in China's broader domestic auto market. Goldman anticipates Nio will achieve a non-GAAP net profit of 1.6 billion yuan, compared to a 12.4 billion yuan loss in 2025.
Nio reported a gross margin of 19% in Q1 FY2026, nearly triple the 7.6% recorded a year earlier, whilst R&D costs fell 41%. Chief executive William Li is targeting full-year 2026 profitability on a non-GAAP operating basis. The Chinese electric vehicle maker delivered 83,465 units in Q1, up 98% year on year, across its three brands: Nio, Onvo, and Firefly. The company guided for 110,000 to 115,000 vehicles in Q2. Nio's 3,972-station battery swap network reached a 21% other-sales margin, a four-year high. Li described the services business as reaching "an inflection point." The shares have fallen 89% over five years and currently trade at $4.93. Analysts hold a consensus price target of $7.35, implying 49% upside.
NIO reported June deliveries of 40,597 vehicles and second quarter deliveries of 107,658, bringing cumulative deliveries to 1,188,715 as of 30 June 2026. The company's share price stands at $4.93, showing mixed performance with a 3.14% one-day gain but a 25.08% decline over 90 days. One-year returns reached 18.23%, whilst five-year returns fell 88.63%. Following the delivery update and a broker upgrade, analysts estimate fair value at $7.31, suggesting the stock is 32.5% undervalued. This valuation assumes strong delivery growth from new models including the ONVO L90, all-new ES8, and FIREFLY, supporting NIO's multi-brand strategy across premium and mainstream segments. The fair value projection uses a discount rate above 12% and anticipates the company moving from current net losses of CN¥9.2 billion towards profitability despite intense Chinese EV market competition.