Intern - Formal Methods
AI Description
You will collaborate with world-class researchers on exploratory projects, where you'll develop systems code and formal proofs while contributing to innovative solutions in a thriving research center.
Requirements
- •Fluency in systems programming language
- •Understanding of multicore programming
- •Current Bachelor's or Master's Degree studies