Intern

SRI’s Computer Science Laboratory (CSL) develops leading-edge tools and methods for areas including computer security, high-assurance systems, advanced user interfaces, computer networking, robotics, biotechnology, and nanotechnology. We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.   CSL is currently searching for an intern to join their team.  The goal of the summer internship will be to develop a reinforcement learning framework for dynamical systems and agentic frameworks.