Research Intern (Summer 2027) - Formal Methods and Security

Seagate Technology; Shakopee (MN); Presencial; USD 40.000 - 62.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Medical, dental, vision

Employee stock purchase plan

12 paid holidays

48 hours paid sick leave

Descripción de la vacante

Seagate Technology seeks a dedicated research intern with interests in cryptography, systems security, or related areas of computer science. On the Data Trust team, you’ll design, evaluate, and prototype data protection techniques, with emphasis on practicality and deployment readiness.

You’ll work with experts across Seagate, publish peer‑reviewed papers, and join an interdisciplinary cohort including CS, engineering, and biology in a campus near Minneapolis.

Formación

• Familiarity with cryptography and systems security is essential.
• Experience with formal verification/theorem provers (Rocq or Lean).
• Programming skills in Rust, C, C++, or Python.
• Current MS or PhD student in computer science or closely related subject and enrolled Fall 2027.

Responsabilidades

• Perform fundamental research in data security and write peer‑reviewed scientific papers.
• Create formal analyses, new algorithm designs, or prototype implementations.
• 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 CS, chemical & mechanical engineering, and biology.

Educación

MS or PhD in Computer Science or related field

Enrolled Fall 2027

Herramientas

Rocq

Lean

Rust

C

C++

Python

Descripción del empleo

About Our Group

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 Our Group

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.

About The Role - You Will

• 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.

About You

• 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

Your Experience Includes

• 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.

Location

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? Seagate offers an on-site café with freshly sourced foods and specialty coffees, or if you prefer, drive to one of many restaurants just minutes away.

The estimated base wage range for this position is $29-$45/hr. The individual base wage is based on work location and additional factors, including job-related skills, experience, and relevant education or training.

Seagate offers comprehensive benefits to its eligible Interns, including, but not limited to, medical, dental, vision, and participation in the employee stock purchase plan. Seagate also offers Interns 12 paid holidays and a minimum of 48 hours of paid sick leave. The benefits for this position are based on a 24 to 40-hour-per-week schedule for a full calendar year and may differ depending on work location and tenure with the Company.

Location: Shakopee, United States

Travel: None