Formal Methods Postdoctoral Research Associate opportunity at INL in Eagle, ID in the Engineering sector. This position offers $102,754 – $102,754/yr. This is a full-time position. Apply directly on the employer's site via Posito — no account required.

Formal Methods Postdoctoral Research Associate

INL

📍 Eagle, ID 💼 Engineering 💵 $102,754 – $102,754/yr Full-time

Pay

$102,754 – $102,754/yr

Job type

Full-time

Location

Eagle, ID

Category

Engineering

Posted

10h ago

Expires

2026-08-02

Apply on company site

You will be redirected to the employer's application page.

Full job description

Description 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, im…

This job also appears in:

← See more jobs in Idaho