Research Intern (Summer 2027) - 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.

About the role -

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.