Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity

Description

About the Center

The National Laboratory of the Rockies (NLR) Cybersecurity Center conductscutting-edgeresearch to strengthen the nation's energy grid against evolving cyber threats.Pillars ofour center arecyber threat emulation, novelCybersecurity technologies for complex energy systems,Cybersecurityrisk analysis, and the development of newCybersecuritystandards, all aimed at securing advanced energy technologies and highly distributed energy systems.

About the Group

The Foundational Cybersecurity Sciences group at NLR advances the core science of cybersecurity and translates breakthroughs into field-ready solutions to prepare for a future of advanced cyber threats and diversifying operational systems. Our research encompasses formal methods, artificial intelligence, and cryptographic approaches for verifiable operational technology cybersecurity, with a focus on increasing complexity and interconnectedness in energy ...