Formal Methods Postdoctoral Research Associate

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. Our team works a 9x80 schedule located out of 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. This position presents an opportunity to apply rigorous formal methods to high-consequence real-world domains, such as autonomous control systems for critical infrastructure.

The candidate is expected to be a strong asset to our interdisciplinary R&D team and work effectively both alone and as a team member. The candidate must be self-motivated but also take direction from other team members and peers.

The position entails writing scientific manuscripts for journal publication, and presentation of research results at national and international conferences and meetings.

Required:

• PhD in Computer Science or comparable disciplines.
• PhD requirements must be completed by commencement of appointment and within the previous 5 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.

Physical Requirements:

While performing the duties of this classification, the employee is frequently required to stand, walk, sit, stoop, kneel, bend. The job requires hand/finger dexterity to keyboard or type, handle materials, manipulate tools, and reach with hands and arms. The job requires operation of job-related equipment. The employee must occasionally lift and/or move up to 25 pounds. Sufficient visual acuity and hearing capacity to perform the essential functions and interact with people is required. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions.

Job Information:

• The pay for this position is $105,144.00. At Idaho National Laboratory compensation decisions are determined using factors such as education, relevant experience, and other credentials.

Benefits and Relocation

• 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.

At this time, BEA will not sponsor any H1-B visas obtained outside of the United States of America (U.S.A.), including consular visas.

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 6,300 scientists, researchers, and support staff, the laboratory works with national and international governments, universities and industry partners to change the world's energy future and secure our nation's critical infrastructure.

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 world's energy future and secure our nation's critical infrastructure.

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 www.sss.gov.

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.

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.