Research Intern; Summer ; Formal Methods and Security

Seagate Technology is a global leader in data storage. We design and manufacture the next generation of hard drives, offering high-performance, sustainable options with the capacity to support a massively expanding demand for data. Our Data Trust research vector develops technological solutions to protect data privacy, reliability, and verifiability for today’s products and those to come. We collaborate with both academic and industry leaders to keep data security state-of-the-art one step ahead of creative adversaries and develop the methods to safeguard and maximize the potential of digital content in the future.

Seagate Technology is a global leader in data storage. We design and manufacture the next generation of hard drives, offering high-performance, sustainable options with the capacity to support a massively expanding demand for data. Our Data Trust research vector develops technological solutions to protect data privacy, reliability, and verifiability for today’s products and those to come. We collaborate with both academic and industry leaders to keep data security state-of-the-art one step ahead of creative adversaries and develop the methods to safeguard and maximize the potential of digital content in the future.

We’re seeking a dedicated research intern with interests in cryptography, systems security, or related areas of computer science. On the Data Trust team, you’ll be responsible for working with our cryptography and systems security experts to design, evaluate, and prototype the best possible data protection techniques. Our internship projects offer a deep dive into a topic that is carefully chosen for your expertise and maximizes your learning opportunities.

As an industry research lab, we combine academic rigor and careful analytic work with business drive and a focus on practicality and deployment readiness. You’ll work on an interdisciplinary team of engaging researchers and develop connections with our local and global networks that will last beyond the initial internship period.

• Perform fundamental research in data security and write peer-reviewed scientific papers
• Create formal analyses, new algorithm designs, or prototype implementations that advance the field of data security.
• Present work to colleagues within Seagate and at external conferences
• Learn about and contribute to an understudied but fundamental pillar of the Internet, AI, and data science fields.
• Collaborate with experts around the globe, both Seagate-affiliated and outside
• Join an exciting cohort of students in a wide array of fields, including computer science, chemical & mechanical engineering, and biology.

• Good verbal and written communication skills
• Teamwork is a core competency at Seagate, so you must be able to work and communicate effectively with a diverse group of people

• Familiarity with principles of cryptography and systems security is essential
• Experience with formal verification/theorem provers, particularly Rocq or Lean.
• Have programming skills using one or more languages such as Rust, C, C++, or Python
• Current MS or PhD student in computer science or a closely related subject and must be enrolled in Fall 2027 classes.

Our Shakopee campus is located 25 minutes southwest of Minneapolis in a setting with a rural vibe – it overlooks a horse racing track and stables, yet it has great entertainment venues close by as well. With wide-open spaces, the campus has plenty of space for running, biking, shooting some hoops or playing volleyball over lunch. If working out is your thing, the on-site fully equipped fitness center hosts wellness programs, tournaments and group workouts.

Hungry?…