Research Intern (Summer 2027) - Formal Methods and Security

Seagate Technology; Shakopee (MN); On-site; USD 40,000 - 62,000; Full time

Benefits offered by this job

Medical insurance

Dental insurance

Vision insurance

Stock purchase plan

Paid holidays

Paid sick leave

Job summary

Seagate Technology is seeking a Research Intern for Summer 2027 in the Data Trust group, located on the Shakopee campus. You will work with cryptography and systems security experts to design, evaluate, and prototype robust data protection techniques, including formal verification and algorithm design, with peers across Seagate and academia.

The role offers a deep dive into data security research, with opportunities to publish, present at conferences, and collaborate across multiple disciplines

Qualifications

• Familiarity with cryptography and systems security.
• Experience with formal verification/theorem provers Rocq or Lean.
• Programming in Rust, C, C++, or Python.

Responsibilities

• Perform fundamental research in data security and write peer-reviewed scientific papers.
• Create formal analyses, new algorithm designs, or prototype implementations that advance data security.
• Present work to colleagues within Seagate and at external conferences.
• Learn about and contribute to data protection techniques in internet, AI, and data science fields.
• Collaborate with experts around the globe, both Seagate-affiliated and outside.
• Join an interdisciplinary cohort across CS, chemical & mechanical engineering, and biology.

Skills

Cryptography & security

Programming languages (Rust/C/C++/F)

Formal verification (Rocq/Lean)

Education

MS or PhD student in computer science

Tools

Rocq

Lean

Job description

Research Intern (Summer 2027) - Formal Methods and Security

Job Title: Research Intern (Summer 2027) - Formal Methods and Security

Posting Start Date: 10/12/26

Requisition Id: 15267

Job Description: 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 cafe 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

Information at a Glance

About Us

With more than four decades of storage innovation, Seagate empowers humanity to thrive in the data age and helps people and businesses navigate the ever-expanding data landscape.

We craft precision-engineered, cutting-edge solutions that help the world store and manage exponential data growth.

Seagate is powered by our talented and passionate workforce of 29,000 employees across the globe who embody our core values: integrity, innovation, and inclusion. Striving towards excellence every single day, we show up with these values for our customers, business partners, shareholders, and communities alike.

Join us and get inspired to make a difference in the datasphere!

Seagate is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, race, color, ancestry, national origin, citizenship status, physical or mental disability, genetic information, marital status, sex (including pregnancy, childbirth, breastfeeding, or related medical conditions), gender (including gender identity and expression), sexual orientation, religion, military and veteran status, or any other classification protected by applicable law. We will consider for employment qualified applicants with arrest and conviction records EEO Know Your Rights Poster

Seagate will provide reasonable accommodation with the application process upon request as required to comply with applicable laws. If you need assistance or accommodation due to a disability, you may contact us at [e-mail].

All Seagate jobs will remain open for a minimum of seven days.

For information on how Seagate collects and uses your personal information during the application process, please review the Applicant Privacy Statement.

Helping all candidates find great careers is our goal. The information you provide here is secure and confidential.