25 formal-verification-computer-science positions at Lawrence Berkeley National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
team of quantum algorithm developers, physicists, mathematicians and computer scientists that will design and deliver novel algorithms, error mitigation and compiling techniques for DOE relevant science
-
National Lab's (LBNL ) Energy Storage & Distributed Resources Division has an opening for a Postdoctoral Scholar to join the team. The Electrochemical Engineering Postdoctoral Scholar Employee will conduct
-
theorists and experimentalists; mentor interns and junior researchers. Champion safety & cybersecurity in all collaborative and computational activities. What is Required: Ph.D. in Chemistry, Physics
-
experimental and engineering directions needed to realize large-scale, fault-tolerant quantum computers. Titled "Scalable Neutral-Atom Quantum Computing via Local-Area Quantum Communications Enabled by Atomic
-
National Lab's (LBNL ) National Energy Research Scientific Computing Center (NERSC) Division has an opening for an Operations Technology Group Lead (OTG) to join the team. NERSC's mission is to accelerate
-
National Lab's (LBNL ) Accelerator Technology & Applied Physics (ATAP ) Division's Berkeley Accelerator Controls and Instrumentation (BACI) Program has an opening for a Postdoctoral Scholar to join the team
-
: Perform radiological work in support of LBNL's Radiation Protection Program, ensuring compliance with RPG policies and procedures. Conduct routine, specialized, and advanced radiological surveys (radiation
-
advancements in automation, safety engineering, and industry trends. What is Required: Bachelor's degree in Electrical Engineering, Computer Science, Automation, Electronics, or a related field, or an equivalent
-
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
-
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