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
-
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
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions