Formal Methods Research Intern: Secure Systems Verification
Listed on 2026-11-05
-
Research/Development
Research Analyst, Research Assistant/Associate
Riverside Research in the United States seeks a Formal Methods Research Intern to support the specification and verification of systems-level software. You will work with a team of computer scientists and cybersecurity professionals on cutting-edge research initiatives.
This position focuses on establishing meaningful cyber and systems security properties, gaining hands-on experience with formal methods, and building skills in secure systems development using proof assistants and Rust/OCaml
This opening is for the Formal Methods Research Intern:
Secure Systems Verification role at Riverside Research.
Step into the Formal Methods Research Intern:
Secure Systems Verification role at Riverside Research in Lexington, MA, United States and grow with us.
Please review the full job details above before applying.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
(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).