2 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 | 3 days ago

programming in C++, MPI, OpenMP, CUDA, or related models. Solid understanding of distributed-memory systems and many‑core architectures.   Preferred Qualifications: Formal Methods : Experience with automated

Postdoctoral Research Associate - Programming Systems for Extreme Heterogeneity

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

C++, MPI, OpenMP, CUDA, or related models. Solid understanding of distributed-memory systems and many‑core architectures.   Preferred Qualifications: Formal Methods: Experience with automated