1 formal-methods Postdoctoral positions at Oak Ridge National Laboratory

Postdoctoral Research Associate - Programming Systems for Extreme Heterogeneity

Oak Ridge National Laboratory | Oak Ridge, Tennessee | United States | about 14 hours ago

of distributed-memory systems and many‑core architectures. Preferred Qualifications: Formal Methods: Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness