73 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Argonne in United States
Sort by
Refine Your Search
-
for quantum information science, but many open questions remain regarding how to control the morphology and crystallinity of these host materials for exemplary performace as hosts for optically addressable spin
-
the Interfacial Processes Group (Chemical Sciences and Engineering Division), will use a combination of synchrotron X-ray based tools (e.g., X-ray reflectivity, tomographic imaging, x-ray diffraction, spectroscopy
-
and contract. Skill in modeling, processing, and analyzing computational results to inform accompanying experimental efforts. Skill in the use of modern collaborative coding practices. Demonstrated
-
, project presentations, and other regular channels. Position Requirements Skill in modeling, processing, and analyzing computational results to inform accompanying experimental efforts. Skill in the use
-
computational science expertise. The ALCF has an opening for a postdoctoral position in data management targeting AI applications at scale. This Postdoc will join the AL/ML group, a vibrant multidisciplinary team
-
team that focuses on materials for classical microelectronic interfaces and quantum information science. The group actively interacts with the broader Argonne and UChicago community of scientists as
-
(s). Collaborate with other staff scientists and postdocs in the group. Position Requirements Ph.D. in mechanical/aerospace/energy engineering, applied mathematics, chemical engineering, or a related
-
the Hadronic Physics Team, part of the Medium Energy Group in the Physics Division, comprising nine staff members, two engineers, and postdocs and students. Our diverse program includes leading electron
-
The Argonne Leadership Computing Facility (ALCF) is dedicated to advancing scientific discoveries and engineering breakthroughs by providing world-class computing facilities in collaboration with
-
engineering, or a related field. Demonstrated expertise in process modeling, process optimization, and technoeconomic analysis. Programming skills in scientific computing languages such as Python and Julia