Cybersecurity Formal Verification Intern (Energy Systems)

A leading energy research facility in Golden, Colorado, is offering a Summer Intern position focused on formal verification methods for cybersecurity. The intern will participate in cutting-edge research on energy systems' security while developing essential skills in interactive theorem proving. Candidates should be pursuing or have completed a relevant degree and possess familiarity with proof assistants. This internship provides a comprehensive opportunity to support national energy security and develop professional competencies in cybersecurity. #J-18808-Ljbffr