Cybersecurity Formal Verification Intern (Isabelle/HOL)

National Laboratory of the Rockies is seeking an Undergraduate/Graduate Intern focused on Formal Verification Methods for Cybersecurity in Golden, CO. The intern will engage in the formal verification of system-level properties of energy systems, working with tools like Isabelle/HOL to assess cybersecurity vulnerabilities. Candidates should be students or recent graduates with a GPA of 3.0 or higher in relevant fields such as computer science or engineering. The position offers a competitive salary range and benefits including medical insurance and retirement plans.
#J-18808-Ljbffr