Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cyberse
National Laboratory of the Rockies, Golden, CO, United States
Undergraduate/Graduate (Summer) Intern – Formal Verification Methods for Cybersecurity
Location:
CO - Golden
Position Type:
Intern (Fixed Term)
Hours Per Week:
40
Project Overview:
The intern will work on the formal verification of system‑level properties of energy systems, focusing on communication paths.
Job Duties And Tasks
Use Isabelle/HOL to formally specify and verify properties of communication paths.
Develop and apply Adversarial Logic models to reason about potential attack vectors and vulnerabilities.
Conduct literature reviews on formal methods, interactive theorem proving, and cybersecurity of operational technology systems.
Collaborate with research staff to translate system‑level cybersecurity requirements into formal specifications.
Assist in documenting proof strategies, findings, and formal models for internal reports and potential publications.
Participate in team meetings, present progress updates, and contribute to technical discussions.
Support development of reusable formal frameworks for energy system components.
Qualifications
Basic Qualifications:
Must be a full‑time student in a Bachelor’s, Master’s, or PhD program or graduated within the past 12 months; GPA ≥ 3.0.
Required Background:
BS in computer science, computer engineering, applied mathematics, or electrical engineering; or pending master’s in related fields; or PhD in related fields.
Required Skills:
Familiarity with proof assistants such as Isabelle/HOL, Lean, Coq, etc.; experience in formal verification methods.
Annual Salary Range
Graduate / $51,200 – $81,900
Benefits Summary
Medical, dental, and vision insurance.
403(b) Employee Savings Plan with employer match.
Sick leave (where required by law).
Eligibility for performance, merit, and achievement awards.
Relocation expense reimbursement (subject to eligibility).
Other Requirements
Badging Requirement:
Must obtain and maintain a federal PIV card per DOE access restrictions; internships longer than six months are subject to this requirement.
Drug Free Workplace:
Must pass a pre‑employment drug test before starting employment.
Equal Opportunity Employer & EEO Statement
All qualified applicants will receive consideration for employment without regard to age, color, disability, gender identity, genetic information, marital status, domestic partner status, military or veteran status, national origin, race, religion, creed, sex, sexual orientation, or other protected status under applicable laws.
E‑Verify
All applicants will be subject to E‑Verify under DHS policies.
#J-18808-Ljbffr
Location:
CO - Golden
Position Type:
Intern (Fixed Term)
Hours Per Week:
40
Project Overview:
The intern will work on the formal verification of system‑level properties of energy systems, focusing on communication paths.
Job Duties And Tasks
Use Isabelle/HOL to formally specify and verify properties of communication paths.
Develop and apply Adversarial Logic models to reason about potential attack vectors and vulnerabilities.
Conduct literature reviews on formal methods, interactive theorem proving, and cybersecurity of operational technology systems.
Collaborate with research staff to translate system‑level cybersecurity requirements into formal specifications.
Assist in documenting proof strategies, findings, and formal models for internal reports and potential publications.
Participate in team meetings, present progress updates, and contribute to technical discussions.
Support development of reusable formal frameworks for energy system components.
Qualifications
Basic Qualifications:
Must be a full‑time student in a Bachelor’s, Master’s, or PhD program or graduated within the past 12 months; GPA ≥ 3.0.
Required Background:
BS in computer science, computer engineering, applied mathematics, or electrical engineering; or pending master’s in related fields; or PhD in related fields.
Required Skills:
Familiarity with proof assistants such as Isabelle/HOL, Lean, Coq, etc.; experience in formal verification methods.
Annual Salary Range
Graduate / $51,200 – $81,900
Benefits Summary
Medical, dental, and vision insurance.
403(b) Employee Savings Plan with employer match.
Sick leave (where required by law).
Eligibility for performance, merit, and achievement awards.
Relocation expense reimbursement (subject to eligibility).
Other Requirements
Badging Requirement:
Must obtain and maintain a federal PIV card per DOE access restrictions; internships longer than six months are subject to this requirement.
Drug Free Workplace:
Must pass a pre‑employment drug test before starting employment.
Equal Opportunity Employer & EEO Statement
All qualified applicants will receive consideration for employment without regard to age, color, disability, gender identity, genetic information, marital status, domestic partner status, military or veteran status, national origin, race, religion, creed, sex, sexual orientation, or other protected status under applicable laws.
E‑Verify
All applicants will be subject to E‑Verify under DHS policies.
#J-18808-Ljbffr