Research Intern – RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
The RiSE group seeks Research Interns with a demonstrated desire to extend the state-of-the-art of research in the broad fields of formal methods, high-performance computing, Macine Learning (ML) systems, programming languages, and software engineering. Research…