Job Description
Job Description
Idaho National Laboratory is hiring a Senior Formal Methods Researcher to work in our Research Acceleration department. Our team works a 9x80 schedule fully remote with every other Friday off. As an individual contributor, you will report to the manager of the Research Acceleration department. The Senior Formal Methods Researcher will increase R&D in effective development and application of formal methods for critical infrastructure, e.g., electric grid, manufacturing, oil and gas pipelines, nuclear energy facilities, government facilities, and transportation networks. Responsibilities Include:
- You will design and propose novel research extending the goals of the High Assurance Industrial Systems program within National and Homeland Security. The researcher will also direct research, mentor researchers and publish on a range of topics related to cybersecurity and other newest technologies used to effectively and efficiently protect critical infrastructure and national assets.
- You will have demonstrated expertise in computing for embedded systems and cyber physical systems using language-based security, software and hardware formal methods, high-level synthesis, and other mathematically rigorous ideas, tools, and techniques.
- You will develop formal methods for cyber-physical systems (mathematical formalizations and automated reasoning about properties), which involves exploring the possibility of using formal methods as a link between ensuring specifications on the cyber part and requirements on the physical part of cyber-physical systems.
- You will develop metrics for measuring and characterizing security, resilience, and operation of cyber-physical systems, which involves extending current research efforts to characterize data-information harm and physical-information harm, with the goal of a metric for secure-by-design and improved cyber-informed engineering.
- You will be a technical advisor for multiple ongoing, rapidly expanding projects sponsored by the Department of Energy (DOE), Department of Defense (DOD) and the Department of Homeland Security (DHS).
- You will already understand the US energy industry's evolving control systems cyber security challenges and guide strategic direction for INL's future investments in cyber-related personnel and other resources.
- You can speak with world class cyber technical experts and explain highly technical subject manner to non-technical professionals. Additionally, you will have an extensive history of publications.
- You will partner directly with leadership, program managers, and researchers within INL's National & Homeland Security directorate, and the lab, and maintain current relationships with both government and industry sponsors.
Qualifications:Minimum Requirements:
- Level 5 - minimum requirements are: Baccalaureate and 12 years of experience (or relevant industry equivalent) Master's degree and 8 years of experience (or relevant industry equivalent), PhD and 6 years of experience (or relevant industry equivalent). Experience shall include research in high assurance systems, cybersecurity, and embedded technology.
- Level 6 - candidates, minimum requirements are: Baccalaureate and 16 years of experience (or relevant industry equivalent) Master's degree and 12 years of experience (or relevant industry equivalent), PhD and 10 years of experience (or relevant industry equivalent). Experience shall include research in high assurance systems, cybersecurity, and embedded technology.
- The ideal candidate will have formal educational backgrounds include cybersecurity/computer sciences, and mathematics.
- This position requires the ability to obtain and maintain a Department of Energy "Q" clearance, which requires US Citizenship.
Job Information:
- Salary - 470 - ($130,980 - $268,680) Or 480 - ($157,260 - $322,416). At Idaho National Laboratory compensation decisions are determined using factors such as education, relevant experience, and other credentials.
- You are required to show a demonstrated commitment to valuing diversity and contributing to an inclusive working environment.
- TDP: This is a testing designated position; you will be required to submit to a pre-employment drug screen and periodic drug testing throughout the term of your employment.
- Multi-Level: This is a multi-level posting and you will be placed at the appropriate level dependent on depth and breadth of proven experience and skills.
Benefits and Relocation
- Medical, Dental, Vision, and Flexible Spending Accounts
- 401(k) with a 4.2% employer contribution and up to 4.8% match
- Paid time off (personal leave)
- Employee Education Program (tuition assistance)
- Comprehensive Relocation Package
- Benefit eligibility subject multiple factors, including employment status and position classification.
INL is a science-based, applied engineering national laboratory dedicated to supporting the U.S. Department of Energy's mission in nuclear energy research, science, and national defense. With more than 5,800 scientists, researchers, and support staff, the laboratory works with national and international governments, universities and industry partners to discover new science and development technologies that underpin the nation's nuclear and renewable energy, national security, and environmental missions.
Selective Service Requirements To be eligible for employment at INL males born after December 31, 1959 must have registered with the Selective Service System (SSS). For more information see
Equal Employment Opportunity Idaho National Laboratory (INL) is an Equal Employment Opportunity (EEO) employer. It is the policy of INL to provide equal employment opportunities to all qualified applicants without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, protected veteran or disabled status, or genetic information. Women and People of Color are strongly encouraged to apply.
Reasonable Accommodation We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform essential job functions, and to receive other benefits and privileges of employment. Please contact us to request accommodation.
Other Information When applying to positions please provide a resume and answer all questions on the following screens. Applicants, who fail to provide a resume or answer the questions, may be deemed ineligible for consideration. INL does not accept resumes from third-party vendors unsolicited.
Job Tags
Remote job, Relocation, Relocation package, Flexible hours,