Systems Verification & Concurrent Kernel Architecture Research Intern
NIO
Base: $38.00 - $46.00 ph; bonus/equity: not specif...
**
Deep proficiency in c programming
Experience with armv8 assembly analysis
Knowledge of mesi cache coherency protocols
**
NIO is seeking a Systems Verification & Concurrent Kernel Architecture Research Intern to assist in transitioning kernel architectures while ensuring safety and performance through formal verification methods. The ideal candidate will possess deep knowledge in low-level systems programming, concurrency, and formal methods, with a strong academic background in computer science or related fields.
**
Job Summary
This internship focuses on transitioning a kernel from a monolithic architecture to fine-grained concurrency using automated formal methods.
The role requires bridging the gap between logic-to-silicon by verifying memory barriers and preventing synchronization failures on modern CPUs.
Candidates will leverage Large Language Models to synthesize formal invariants while critically auditing results for logical soundness.
Matching Summary
Match Score: 75
**
NIO is seeking a Systems Verification & Concurrent Kernel Architecture Research Intern to assist in transitioning kernel architectures while ensuring safety and performance through formal verification methods. The ideal candidate will possess deep knowledge in low-level systems programming, concurrency, and formal methods, with a strong academic background in computer science or related fields.
**
Salary
Base: $38.00 - $46.00 per hour; Bonus/Equity: Not specified; Benefits: Not specified
Skills & Requirements
Must-have
Deep proficiency in C programming
Experience with ARMv8 assembly analysis
Knowledge of MESI cache coherency protocols
Proficiency in TLA+ or Spin formal modeling
Ability to use ESBMC or CBMC for model checking
Nice-to-have
Familiarity with LLMs as inference engines
Experience with RISC-V hardware architectures
Background in mathematical theorem proving
Research publications in computer science
Persistence in debugging state space explosion
Key Requirements
PhD or Master's degree in Computer Science or related field