3-month internship focused on formal methods to guarantee safety of concurrent kernel primitives, exploring concurrency, memory models (armv8/risc-v), and automated proofs using SMT-based tools.
What they are looking for
C
Armv8
Risc-v
Cbmc
Esbmc
Details
- Work type
- Onsite
- Compensation
- Paid
Get new Software Engineering internships by email
Free daily digest, matched to what you pick. Unsubscribe anytime.
More Software Engineering internships in San Jose
Software Developer, Winter 2027 (Internship) - 4 months
BMO · San Ramon, CA
Software Developer, Winter 2027 (Internship) - 4 months
BMO · San Ramon, CA
Software Engineer Intern (Low Code)
gfs · Wyoming, MI
Software Engineer Internship
gfs · Wyoming, MI
Software Engineering Internship - Summer 2027
cmegroup · Chicago, United States
Software Engineering Fellowship - Summer 2027
cmegroup · Chicago, United States