We are looking for highly motivated students (spring/summer/fall 2026) to join our research team in developing new deep learning/AI algorithms for various real-world applications of AI, including but not limited to: large language model, vision language model, AI efficiency, and security of agentic AI with emphasis on formal modeling and formal verification approaches This internship role will focus on the following responsibilities:
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
Career Level
Intern
Number of Employees
5,001-10,000 employees