Formal Methods Research Intern
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
- Build specifications/proofs in proof assistants like Rocq and Lean
- Build tools/capabilities in programming languages like Rust and OCaml
- Document and communicate design decisions, technical challenges, and progress to technical program management
- Collaborate with team members on all aspects of formal methods research, identifying machine-checkable properties of interest, developing and applying tools to check such properties, verifying such tools, reviewing papers/proposals, etc.
Qualifications
Required Qualifications:
- Enrolled in an undergraduate or graduate program in Computer Science, Computer Security, Formal Methods, Automated Reasoning, or related major
- Ability to work collaboratively on speculative research projects
- Experience with functional and imperative programming
- Exposure to programming language concepts, definitions, and implementations (type systems, operational semantics, interpreters, compilers, etc.)
- Exposure to Linux or Unix-like systems
- Excellent written and verbal communication skills
Desired Qualifications:
- Experience with Rocq, Lean, or similar proof assistant
- Exposure to the Rust programming language
- Exposure to proof techniques (progress and preservation, logical relations, separation logic, refinement, translation validation, symbolic execution, etc.)
- Foundational knowledge of cybersecurity principles (non-interference, robust property preservation, etc.)
- Experience with version control or other software collaboration tools
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.Average salary estimate
If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.
Brookings CESO is hiring a Spring 2026 hybrid research intern to assist with literature review, data cleaning and analysis, event support, and policy research tasks focused on education, immigration, and the safety net.
Support BTNRH research studies by recruiting and scheduling participants, managing study calendars, and engaging community partners to drive diverse enrollment.
Brookings' Talbott Center is hiring a Spring 2026 Research & Events Intern to conduct policy research, support publications, and assist with event logistics in Washington, DC.
Lead development and validation of imaging and machine-learning approaches for retinal disease research at a leading academic medical center.
Support and coordinate community-engaged health research projects at Texas A&M AgriLife’s Healthy Living program, managing study operations, data collection, and dissemination activities.
Lead XQ Institute’s research and evaluation strategy to produce rigorous evidence and actionable insights that advance high school transformation nationwide.
Brookings is recruiting a Spring 2026 research intern for the China Center to support research, editing, bilingual data collection, and event logistics in a hybrid Washington, DC internship.
Lead original security research on state-of-the-art machine learning systems and work with top AI organizations to identify and mitigate novel attack vectors.
Medal seeks a World Model & Action Policy Researcher to design, train, and deploy simulation-driven agents for large-scale gaming environments.
Lead the Lyon Center’s Gamebird Research Station to design and run field programs studying upland gamebird population dynamics while mentoring students and publishing results.
Cushman & Wakefield is hiring a Research Coordinator to collect, maintain, and analyze local market data to support research reports and client-facing publications in Los Angeles.
FloSports is hiring a UX Researcher to conduct mixed-method user research and ResearchOps across products serving niche sports audiences.
Support Brookings Metro researchers in a hybrid internship analyzing labor markets and workforce development to help design inclusive, locally-driven career pathway strategies.
🔮
Hi, I'm Risa! Your AI Career Copilot
you, just ask me below!
