Intern - Formal Methods
KI-Beschreibung
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.
Anforderungen
- •Fluency in systems programming language
- •Understanding of multicore programming
- •Current Bachelor's or Master's Degree studies