Research Intern (Summer 2027) - Formal Methods and Security
About The Position
Seagate Technology is seeking a dedicated research intern with interests in cryptography, systems security, or related areas of computer science for its Data Trust team. The intern will work with cryptography and systems security experts to design, evaluate, and prototype data protection techniques. This role offers a deep dive into a carefully chosen topic, maximizing learning opportunities by combining academic rigor with business drive and a focus on practicality and deployment readiness. The intern will be part of an interdisciplinary team of researchers and develop connections with local and global networks.
Requirements
- Familiarity with principles of cryptography and systems security is essential.
- Experience with formal verification/theorem provers, particularly Rocq or Lean.
- 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.
Responsibilities
- 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.
Benefits
- medical
- dental
- vision
- employee stock purchase plan
- 12 paid holidays
- 48 hours of paid sick leave
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Intern
