-
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
-
models for compressible hypersonic flows; implementing new models and numerical schemes into larger, existing hypersonic CFD codebases; performing verification & validation studies for the new models
-
to co-mentor graduate and/or undergraduate students at Virginia Tech. Postdoctoral research support is available for at least one year. The postdoc will have access to professional development and formal
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions