2 formal-methods Postdoctoral research jobs at Lawrence Berkeley National Laboratory

Postdoctoral Scholar -- Quantum Benchmarking & Simulation (AQT/NERSC)

Lawrence Berkeley National Laboratory | Berkeley, California | United States | 5 days ago

of noise and error sources in superconducting systems. Familiarity with benchmarking and characterization methods for quantum computers. Experience with tensor network methods and other scalable

Electrochemical Engineering Postdoctoral Scholar

Lawrence Berkeley National Laboratory | Berkeley, California | United States | 16 days ago

partners to develop and utilize novel characterization and diagnostic methods to identify critical performance and durability barriers for these electrochemical devices and develop hypotheses and strategies