Formal Methods Postdoctoral Research Associate

Overview

The Idaho National Laboratory is hiring a well-qualified Postdoctoral Research Associate in Computer Science or comparable discipline for the Infrastructure Modeling and Tool Development department. This postdoctoral researcher will focus on formal methods and provable security for critical infrastructure systems. The team works a 9x80 schedule located at the Idaho Falls facility with every other Friday off.

The Postdoctoral Formal Methods Researcher will design, formally verify, implement, and evaluate a systems engineering workbench focused on ensuring provably correct operator-AI interaction policies and communication protocols for safety-critical autonomous systems. The researcher will work within a multidisciplinary team, balancing independent research contributions with close team collaboration, and will write scientific manuscripts for journal publication and present research results at national and international conferences.

• PhD in Computer Science or comparable disciplines, completed by commencement of appointment and within the previous five years.
• Demonstrated experience conducting research in formal methods and provable security.
• Ability to obtain and maintain a Department of Energy “Q” security clearance, which requires U.S. citizenship.

Employee is frequently required to stand, walk, sit, stoop, kneel, bend; hand/finger dexterity to use keyboard or type, handle materials, manipulate tools, and reach with hands and arms; operation of job-related equipment; occasional lifting or moving up to 25 pounds; sufficient visual acuity and hearing capacity to perform essential functions; reasonable accommodations may be made to enable individuals with disabilities to perform essential functions.

$

• Medical, Dental, Vision, and Flexible Spending Accounts
• 401(k) with a 4.2% employer contribution and up to 4.8% match (regular positions) or self-contribute access (postdoctoral positions)
• Paid time off (personal leave)
• Employee Education Program (tuition assistance for eligible positions)
• Comprehensive Relocation Package
• Benefit eligibility subject to multiple factors, including employment status and position classification.

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.

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.

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 (Use the "Apply for this Job" box below)..