ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
NIO
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.
Headquarters
Jiading District, Shanghai, China
Company Size
10001+ employees
Founded
2014
NIO 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.
Electric VehiclesNio Cuts ‘Nio House’ Network for First Time as Profitability Takes Priority
4 hours ago
24/7 Wall St.Nio Jumps 5%: Is China’s EV Underdog Finally Turning the Corner?
2 minutes ago
GasgooNIO Reinvests in Optics Valley, Mirattery's 9.8 Billion Yuan Battery Infrastructure Project Lands
6 hours ago
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
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
View leadership team, funding history,
and employee contacts for NIO.
Why Shares of Nio Stock Soared 21% This Week
1 hour ago
Founding Member of the Technical Staff - Formal Methods
Architect.dev
Senior Formal Verification Engineer, GPU Kernels
NVIDIA
Automotive Verification Engineer
Coherent
Formal Verification Engineer
weekday.ai
Founding Member of the Technical Staff - Formal Methods
Architect.dev
Formal Verification Engineer - Firmware
NVIDIA
