Sort by
Refine Your Search
-
and optimization of measurement-based quantum computing protocols for quantum simulation of quantum many-body models. Preference will be given to candidates familiar with the stabilizer formalism and
-
and laboratory-based methods to investigate the long-term frequency and magnitude of historic and prehistoric earthquakes and tsunamis at the Cascadia, Alaska, and Chile subduction zones. The data
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions