53 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
HPC research within past five years. Preferred Qualifications: The ability to work independently and develop and deploy methods at scale. Experience in high-performance computing and software
-
research within past five years. Preferred Qualifications: Ability to work independently to design and deploy methods at scale. Familiarity with hardware-software co-design, memory hierarchies (DDR, HBM
-
to accelerate the design and discovery of novel materials. The Materials Theory Group has a background in using first principles methods to examine electronic and thermal transport, magnetic properties
-
materials. In this role, you will develop and apply methods that integrate physics‑guided image correction with intelligent (AI/ML‑enabled) data‑acquisition strategies. Key objectives include (1) implementing
-
-resolution microscopy, and in situ neutron or X-ray scattering and tomography methods. Strong background in computational and image-processing software, scientific programming, and high-performance computing
-
experiments. You will play an integral role in electron microscopy and closely collaborate with other scientists for synthesis, theoretical calculations, and other characterization methods across multiple
-
elements methods Modern machine learning software tools and frameworks Implementation of scalable numerical algorithms on HPC architectures Excellent written and verbal communication and interpersonal skills
-
to optimize utility of captured signals Conceive, write, and submit proposals to develop and expand a research program investigating signal collection and analysis for mission objectives Qualifications: A PhD
-
analysis software. The prospective candidate will also have the opportunity to develop their own science that will complement the proposed DIB studies. Major Duties/Responsibilities: Study droplet interface
-
techniques; and (3) developing advanced methods for inelastic neutron scattering data analysis and workflow automation. The postdoctoral researcher will work in close collaboration with Dr. Raphaël Hermann and