Research Intern: Formal Methods Data Security & Crypto
Listed on 2026-10-21
-
Research/Development
Research Assistant/Associate
Seagate Technology's Data Trust group in Shakopee invites a research internship focused on cryptography and systems security. Collaborate with experts to design, evaluate, and prototype data protection techniques for practical deployment readiness.
The role targets MS or PhD students in computer science and requires familiarity with cryptography, formal verification (Rocq/Lean), and programming in Rust, C, C++, or Python. On-site campus amenities support a productive internship experience.
We invite applications for the Research Intern:
Formal Methods for Data Security & Crypto position located in Shakopee, MN, United States.
Join Seagate and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Research Intern:
Formal Methods for Data Security & Crypto role at Seagate, based in Shakopee, MN, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).