Formal Methods Research Intern: Secure Systems Verification
Listed on 2026-10-06
-
Research/Development
Research Assistant/Associate
Riverside Research in Lexington, MA (or Beavercreek, OH) seeks a Formal Methods Research Intern to support specification and verification of systems-level software. You will work with a team of computer scientists and cybersecurity professionals on cutting-edge formal methods projects this summer, building skills in secure systems development and proof tooling.
The role emphasizes learning ROCq/Lean proofs, Rust/OCaml tooling, and communicating design decisions to management, with a path toward
Consider building your career as a Formal Methods Research Intern:
Secure Systems Verification at Riverside Research.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Formal Methods Research Intern:
Secure Systems Verification role in the description above.
We appreciate your interest in this position.
Join Riverside Research and contribute to our ongoing work.
(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).