64 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Argonne in United States
Sort by
Refine Your Search
-
(predoctoral) or PhD (postdoctoral) in Materials Science, Chemistry, Physics, or related area is required. Coursework in computer science or data science is desirable. Familiarity with research data management
-
multidisciplinary team, the Postdoctoral Appointee will work at the intersection of AI/ML, climate science, and high-performance computing. The candidate will develop LLMs specifically designed to understand, process
-
scholarly work or industry experience in economic and supply chain analysis, computational modeling, or policy analysis. Excellent oral and written communication skills in scientific and engineering contexts
-
The Chemical Sciences and Engineering (CSE) Division at Argonne National Laboratory is seeking a postdoctoral researcher to conduct cutting-edge research in the development of advanced electrolytes
-
In the Nanoscale Magnetic and Electronic Heterostructure Group of the Materials Science Division (MSD) we aim to understand the novel and emergent behavior in nanoscale magnetic and electronic
-
Electrical Engineering, Computer Science, Operations Research, or a closely related field. Experience in power systems, distribution systems, or microgrid modeling, with a solid understanding of advanced co
-
at Materials Engineering Research Facility (MERF) and collaborators inside and outside Argonne. The candidate is expected to design and conduct experiments, analyze data and explore mechanisms behind
-
The X-ray Imaging Group (IMG) of the Advanced Photon Source (APS) is seeking a postdoctoral researcher with expertise in computational science and image processing to develop innovative methods
-
The Hydrogen and Fuel Cell Materials Group in Argonne National Laboratory’s Chemical Sciences and Engineering Division is seeking to hire a Postdoctoral Appointee to participate in a project that
-
including engineering, economics, and environmental science. Experience developing mathematical or computational models for simulation and optimization of energy/economic systems in ASPEN Plus® and/or Julia