Riverside Research’s Secure and Resilient Systems group seeks a Formal Methods Research Intern to support the specification and verification of systems-level software in Lexington, MA. This role offers the opportunity to work alongside a team of experienced computer scientists and cybersecurity professionals on cutting-edge research initiatives.
This position will focus on establishing meaningful cyber and systems security properties. Throughout the internship, you will gain hands-on experience with and develop a deep understanding of formal methods, building valuable skills in secure systems development. This internship is for summer of 2026.
Required Qualifications:
Desired Qualifications:
Software Powered by iCIMS
www.icims.com