3 software-formal-method-phd Postdoctoral positions at Lawrence Berkeley National Laboratory
-
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
-
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
-
contributions to the advancement of the control systems, including hardware, FPGA gateware, embedded firmware and control software, for the Advanced Quantum Testbed (AQT) project and the Quantum System
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions