30 formal-verification-computer-science positions at Lawrence Berkeley National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
wide range of numerical and machine learning (ML) computer algorithms as applied to reservoir engineering and geophysical imaging. This includes the simulation of thermal-hydro-mechanical-chemical (THMC
-
to accelerate discovery through advanced computing, artificial intelligence, and data-driven science, supported by state-of-the-art cyberinfrastructure (CI) systems, tools, specialized software, and applications
-
National Lab's (Berkeley Lab) Applied Math and Computational Research Division (AMCR) has an opening in the QuIST (Quantum Information Science and Technology) Group for a Post-doctoral Scholar to advance
-
Science Acceleration Program (NESAP ). You will join a multidisciplinary team building AI-driven scientific workflows for the upcoming Doudna supercomputer. Doudna will deliver over 10x the performance
-
team as part of NERSC's Exascale Science Acceleration Program (NESAP ). You'll work with NERSC staff, domain scientists, and engineers from industry partners to prepare key scientific workflows
-
Fellowship Location: Berkeley, California 94720, United States of America Subject Area: Computing Sciences Appl Deadline: 2025/10/24 11:59PM (posted 2025/09/04, listed until 2026/03/04) Fellowship
-
Postdoctoral Fellowship and Admiral Grace M. Hopper Postdoctoral Fellowship in Computing Sciences The Computing Sciences Area at Lawrence Berkeley National Laboratory is now accepting applications for two
-
Leadership Development Program (NextGen). What You Will Do: Define project scope, objectives, and research strategies for an independent research project advancing nuclear nonproliferation. Manage project
-
-up, attend meetings, etc. Write manuscripts. Contribute to grant proposals. Analyze data from projects, make plots, present results. What is Required: Ph.D. degree in electrical engineering, computer science
-
advanced computing and data systems to support fundamental science Support the AI software stack on NERSC supercomputers, deploy new cutting-edge tools and frameworks for scalable AI workflows. Provide