91 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Argonne
Sort by
Refine Your Search
-
The Applied Materials Division (AMD) at Argonne National Laboratory is looking to hire a Postdoctoral Appointee – Materials Science. The Applied Materials Division conducts applied research
-
candidate would be a PhD in geophysical sciences, computer science, or machine learning with experience in developing and verifying deep learning-based models for large dynamical systems (e.g. weather
-
. The successful candidate will be a key contributor to a multidisciplinary co-design team spanning material science, computing, and electronic engineering, with the goal of enabling next-generation detector
-
”, “Firstname_Lastname_cover_letter”. Include links to code examples in your CV (e.g., GitHub page, past project repositories). Position Requirements A recent PhD (completed within 5 years, or soon to be completed) in computer science
-
computational research in accelerator science and technology. The focus is on developing and applying machine learning (ML) methods for accelerator operations and beam-dynamics optimization in advanced
-
The Decision and Infrastructure Sciences Division in Argonne’s Nuclear Technologies and National Security (NTNS) Directorate is seeking a highly qualified and motivated Postdoctoral Researcher
-
Physics, Materials Science, Chemistry, Chemical Engineering, Applied Physics, or a closely related field with a focus on computational materials modeling. Density Functional Theory (DFT) for surfaces and
-
The Argonne Leadership Computing Facility’s (ALCF) mission is to accelerate major scientific discoveries and engineering breakthroughs for humanity by designing and providing world-leading computing
-
. Position Requirements Ph.D. completed in the past five years or soon-to-be completed in Chemical Engineering, Materials Science, Chemistry, Nuclear Engineering, or related field. Skill in devising and
-
, the postdoc will translate demonstrated prototype performance into a complete, buildable engineering specifications package for a scaled multi-element analyzer spectrometer and associated microscope/imaging