National Renewable Energy Laboratory Senior Researcher – Applied Cybersecurity and Formal Methods in Golden, Colorado
Senior Researcher – Applied Cybersecurity and Formal Methods
CO - Golden
Hours Per Week
Mandatory COVID-19 Vaccination Protocols
Employment at NREL is contingent upon your compliance with all NREL and DOE safety protocols and mitigation efforts directed at the COVID-19 pandemic. At present, NREL requires all employees to be immunized against COVID-19. Upon hire, new employees must be prepared to provide proof of vaccination on your first day of employment. All employees must have completed vaccinations by November 1, 2021.
Working at NREL
The National Renewable Energy Laboratory (NREL), located at the foothills of the Rocky Mountains in Golden, Colorado is the nation's primary laboratory for research and development of renewable energy and energy efficiency technologies.
From day one at NREL, you’ll connect with coworkers driven by the same mission to save the planet. By joining an organization that values a supportive, inclusive, and flexible work environment, you’ll have the opportunity to engage through our eight employee resource groups, numerous employee-driven clubs, and learning and professional development classes.
NREL supports inclusive, diverse, and unbiased hiring practices that promote creativity and innovation. By collaborating with organizations that focus on diverse talent pools, reaching out to underrepresented demographics, and providing an inclusive application and interview process, our Talent Acquisition team aims to hear all voices equally. We strive to attract a highly diverse workforce and create a culture where every employee feels welcomed and respected and they can be their authentic selves.
This position will be filled at the Researcher Level IV or V based on the qualifications of the selected candidate:
While new hardware and software components are increasingly integrated into critical energy infrastructure of today, the tools and methods for securing this complex cyber-physical system have not kept up with this evolution. NREL's Cybersecurity Science and Simulation Group is performing research to secure our energy systems from cyberattack, and to make them more resilient to disruptions of any type. Using an on-premises private cloud interconnected with unique and powerful laboratory systems, NREL’s cyber range powers our investigation of rapidly evolving communication systems, industrial control systems, internet of things (IoT), and the flow of energy on which we all depend. Our research significantly enhances energy security, resilience, efficiency, and affordability across the United States and the world.
In CSSG, the team works closely with network engineers and architects, mathematicians, and security professionals. Every project involves collaboration across NREL’s domains of expertise – from renewable generation via wind, solar, and geothermal; to efficient energy consumption in smart buildings, electric vehicles, and industry; to the power systems, energy storage, data and control algorithms needed to ensure the whole system operates reliably.
NREL is seeking a Senior Researcher to performing and lead research to address this challenge to secure our energy systems from cyberattacks by leveraging the field of Formal methods for Industrial Control Systems (ICS), at both the hardware and software layers. The successful candidate will be an outside-the-box thinker who can lead independent research at this novel intersection of formal methods and ICS security, while collaborating closely with diverse group of energy systems and cybersecurity researchers.
Leverage formal methods techniques to develop security analyses of complex and diverse critical energy systems
Develop new techniques and tools for applying formal methods to hard security problems in the domain of Industrial Control systems security
Develop novel formalisms and logics for modeling and verification of security for ICS device hardware and software
Develop automatic formal abstraction and verification techniques
Collaborate with other researchers and provide subject matter expertise in the domain of formal methods
Mentor junior researchers and postdoctoral researchers
Develop new lines of research at NREL, including writing research proposals and leading awarded projects to successful outcomes
In addition to technical research, the role requires significant technical writing, presentation of research materials, and direct customer and stakeholder engagement
Researcher V Qualifications:
Relevant PhD and 9 or more years of experience . Or, relevant Master's Degree and 12 or more years of experience . Or, relevant Bachelor's Degree and 14 or more years of experience .
Researcher IV Qualifications:
Relevant PhD and 4 or more years of experience . Or, relevant Master's Degree and 7 or more years of experience . Or, relevant Bachelor's Degree and 9 or more years of experience .
Additional Required Qualifications
Strong interpersonal skills.
Demonstrated experience with concepts from mathematical logic (boolean functions, higher-order logic, type theory)
Proficiency in formal verification tools, e.g., interactive theorem provers, SMT solvers, model checkers (hardware and software), etc.
Knowledge of computer systems, embedded systems, and systems and software engineering.
Knowledge of Model-Based Systems Engineering (MBSE) and Verification & Validation (V&V) concepts
Demonstrated experience in writing successful research proposals.
Demonstrated expertise in public speaking—such as research presentations, business development, and customer engagement.
Demonstrated expertise in technical writing, as represented by a relevant publication record
Excellent leadership, communication, problem solving and project management skills.
Annual Salary Range (based on full-time 40 hours per week)
Annual Salary Range: $106,400 - $191,600
NREL takes into consideration a candidate’s education, training, and experience, as well as the position's work location, expected quality and quantity of work, required travel (if any), external market and internal value, including seniority and merit systems, and internal pay alignment when determining the salary level for potential new employees. In compliance with the Colorado Equal Pay for Equal Work Act, a potential new employee’s salary history will not be used in compensation decisions.
Benefits include medical, dental, and vision insurance; short- and long-term disability insurance; pension benefits; 403(b) Employee Savings Plan with employer match; life and accidental death and dismemberment (AD&D) insurance; personal time off (PTO) and sick leave; paid holidays; and tuition reimbursement. NREL employees may be eligible for, but are not guaranteed, performance-, merit-, and achievement- based awards that include a monetary component. Some positions may be eligible for relocation expense reimbursement. Limited-term positions are not eligible for long-term disability or tuition reimbursement.
* Based on eligibility rules
Please note that in order to be considered an applicant for any position at NREL you must submit an application form for each position for which you believe you are qualified. Applications are not kept on file for future positions. Please include a cover letter and resume with each position application.
NREL is an Equal Opportunity/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard basis of age (40 and over), color, disability, gender identity, genetic information, marital status, military or veteran status, national origin/ancestry, race, religion, creed, sex (including pregnancy, childbirth, breastfeeding), sexual orientation, and any other applicable status protected by federal, state, or local laws.
EEO is the Law (http://www.dol.gov/ofccp/regs/compliance/posters/ofccpost.htm) | Pay Transparency Nondiscrimination (https://www.dol.gov/ofccp/pdf/pay-transp_English_unformattedESQA508c.pdf) | Reasonable Accommodations (http://www.nrel.gov/careers/employment-policies.html)
E -Verify www.dhs.gov/E-Verify |For information about right to work, click here (http://www.justice.gov/sites/default/files/crt/legacy/2013/08/13/FinalOSCPosterEN08_01_2013.pdf) for English or here (http://www.justice.gov/crt/file/813271/download) for Spanish.
E-Verify is a registered trademark of the U.S. Department of Homeland Security. This business uses E-Verify in its hiring practices to achieve a lawful workforce.
The National Renewable Energy Laboratory (NREL) is a leader in the U.S. Department of Energy’s effort to secure an environmentally and economically sustainable energy future. With locations in Golden and Boulder, Colorado, and a satellite office in Washington, D.C., NREL is the primary laboratory for research, development, and deployment of renewable energy technologies in the United States.
NREL is subject to Department of Energy (DOE) access restrictions. All candidates must be authorized to access the facility per DOE rules and guidance within a reasonable time frame for the specified position in order to be considered for an interview. DOE rules for site access during the interview process are the same regardless of whether the candidate is interviewed on-site, off-site, or via telephone or videoconference. Additionally, DOE contractor employees are prohibited from participating in certain Foreign Government Talent Recruitment Programs (FGTRPs). If a candidate is currently participating in an FGTRP, they will be required to disclose their participation after receiving an offer of employment and may be required to disengage from participation in the FGTRP prior to commencing employment. Any offer of employment is conditional on the ability to obtain work authorization and to be granted access to NREL by the Department of Energy (DOE). We understand that COVID-19 may have caused delays or closures at offices, consulates, and embassies. However, NREL cannot make exceptions to work authorization and access requirements, and exceptions to these requirements are not being made for COVID-19 related delays.
Please review the information on our Hiring Process (https://www.nrel.gov/careers/hiring-process.html) website before you create an account and apply for a job. We also hope you will learn more about NREL (https://www.nrel.gov/about/) , visit our Careers site (https://www.nrel.gov/careers/) , and continue to search for job opportunities (https://nrel.wd5.myworkdayjobs.com/NREL) at the lab.