Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity
National Renewable Energy Laboratory
About this role
This internship offers an opportunity for students to work at a U.S. Department of Energy national laboratory, focusing on formal verification for cybersecurity in energy systems. Interns will engage in research related to formal methods, adversarial logic, and system security verification, contributing to national energy infrastructure protection.
Skills
About National Renewable Energy Laboratory
nrel.govIndustry
Energy
NREL bridges research with real-world applications to advance energy technologies that lower costs, boost the economy, strengthen security, and ensure abundant energy.
Recent company news
Inside Climate News‘Renewable’ No More: The Trump Administration Renames the National Renewable Energy Laboratory
Dec 2, 2025
The Colorado Sun134 more people laid off from federal renewable energy lab in Golden
1 month ago
The Energy MixTrump Admin Renames National Renewable Energy Lab, Takes Renewables Out of the Mission
Dec 9, 2025
CBS NewsEnergy Department renames Colorado's NREL "National Laboratory of the Rockies"
Dec 2, 2025
PV Tech‘Renewable energy’ stripped from NREL’s name in shift of priorities
Dec 3, 2025
About National Renewable Energy Laboratory
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for National Renewable Energy Laboratory.
Salary
$35k – $56k
per year
More jobs at National Renewable Energy Laboratory
IT Professional III Information Systems Security Officer
National Renewable Energy Laboratory
Facilities Electrical Engineer
National Renewable Energy Laboratory
Project Management Lead
National Renewable Energy Laboratory
Graduate Summer Intern – Quantum Computing Emulation for Optimization
National Renewable Energy Laboratory
Similar Jobs
Senior Principal Research Engineer, Formal Methods
RTX
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates
Research Engineer - Formal Methods
Code Metal
Senior Formal Verification Engineer
NVIDIA
Formal Methods Research Intern
Leidos
Formal Verification Engineer - New College Graduate
NVIDIA