Senior Formal Methods Scientist

at Idaho National Laboratory in Idaho Falls, Idaho, United States

Job Description


Does a career focused on using formal methods to improve the security and resilience of the world's energy future intrigue you? Do you have expertise in the targeted development and application of formal methods, formalized mathematics, proof engineering, theorem proving, and related areas to practical challenges - like protecting cyber-physical systems? If so, we might have just the opportunity you're looking for!

This is an exciting time to be in the field of formal methods for security and resilience. Protecting our critical cyber-physical infrastructure from adversaries is now recognized by both government and industry as one the country's highest priority challenges - we'd love to have you join us.

Idaho National Laboratory's (INL) National & Homeland Security Directorate is seeking forward-thinking, diversely-experienced professionals who want to explore a career as a Senior Formal Methods Scientist.

The person in this position will support cutting edge R&D in formal methods for improving the security and resilience with the effective and efficient development and application of formal methods in critical infrastructure, e.g., our electrical grid, manufacturing, oil & gas pipelines, nuclear energy facilities, government facilities, and transportation networks.

Responsibilities include:

Advancing methods and tools for effective and efficient application of targeted formal methods to improve the security and resilience of cyber-physical systems in critical infrastructure. Such systems include industrial control systems (ICS), supervisory control and data acquisition (SCADA) systems, embedded high-energy real-time systems, industrial internet of things (IIoT), industrial processes, and industrial supply chains.

Providing technical leadership (e.g., principal investigator, technical lead) for internal- and external- funded R&D for innovative applications of targeted formal methods. Such leadership includes collaborating with INL's strategic academic partners, and joint appointment faculty to co-develop and incorporate relevant state-of-the-art tools and methods for critical infrastructure applications.

Communicating research and project results internally and externally to advance the field and INL's leadership in the targeted application of formal methods to the security and resilience of critical infrastructure. Such communication includes writing peer-reviewed papers, organizing/participating in workshops, giving lectures, mentoring INL colleagues on the practical applications of formal methods, and embracing opportunities for thought leadership in the field.

Minimum Requirements:

Experience applying formal methods to security and resilience challenges in complex systems

BS/BA plus 2-5 years' experience

Masters plus 1-3 years' experience

Doctorate plus 0-2 years' experience

Preferred requirements:

Strong interpersonal skills.

Demonstrated experience with concepts from advance mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).

Proficiency in formal verification tools (e.g., interactive theorem provers, SMT solvers, hardware and software model checkers, etc.).

Knowledge of modern agile engineering methods such as scrum, DevSecOps, and continuous-integration/continuous-delivery.

Demonstrated experience in writing successful research and development proposals, public speaking, and technical writing/publication.

Excellent leadership, communication, problem solving and project management skills.

Job Information

Salary Grade: 200/210

Chosen applicants are required to show a "demonstrated commitment to valuing diversity and contributing to an inclusive working environment."

Multi-Level: This is a multi-level posting and the selected candidate will be placed at the appropriate level dependent on depth and breadth of proven experience and skills.

INL Overview:

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,000 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.

INL Mission:

Our mission is to discover, demonstrate and secure innovative nuclear energy solutions, other clean energy options and critical infrastructure.

INL Vision:

Our vision is to change the... For full info follow application link.


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.

Copy Link

Job Posting: 1611488

Posted On: Nov 25, 2021

Updated On: Nov 27, 2021