New
Formal Methods Research Intern
![]() | |||||
![]() United States, Massachusetts, Lexington | |||||
![]() 70 Westview St (Show on map) | |||||
![]() | |||||
Formal Methods Research Intern Location
US-MA-Lexington ID
2025-4024
Riverside Overview Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the country's most challenging technical problems.
All Riverside Research opportunities require U.S. Citizenship. Position Overview 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. Responsibilities
Develop technical fluency in formal methods for cyber and system security
Qualifications Required Qualifications:
Desired Qualifications:
Global Comp $20.00 - $30.00 This represents the typical compensation range for this position based on experience, location and other factors. Closing Statement Riverside Research Institute is a not-for-profit, technology-oriented defense company, where service to our customers and support of our staff is our overall mission. Riverside is an affirmative action-equal opportunity employer and complies with all applicable federal, state, and local laws regarding recruitment and hiring. Riverside offers comprehensive compensation and benefit packages to our employees.
Riverside bases its employment decisions solely on technical experience, qualifications and other job-related criteria related to our organizational purpose as a not-for-profit company, and without regard to race, color, religion, age, sex marital status, sexual orientation, national origin, physical or mental disability, veteran's status or any other status legally protected by applicable federal, state, and local law. |