Formal Methods Postdoctoral Research Associate at Idaho… · Idaho…

Summary: Idaho National Laboratory is hiring a Postdoctoral Research Associate in Computer Science or comparable disciplines for the Infrastructure Modeling and Tool Development department. The role focuses on formal methods and provable security for critical infrastructure systems, requiring the researcher to design, verify, and evaluate systems engineering workbench for safety-critical autonomous systems. Responsibilities: - 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 - Write scientific manuscripts for journal publication, and present research results at national and international conferences and meetings Required Qualifications: - 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 Required Skills: Formal methods, Provable security, Systems engineering, Operator-AI interaction policies, Communication protocols, Safety-critical autonomous systems, Independent research Benefits: 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.