Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
is available at realestate.vt.edu Required Qualifications Qualifications include a graduate degree (i.e., a master's degree or higher) in a field that incorporates quantitative methods or equivalent
-
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
-
theory of computing, formal methods, or cryptography; paired with hands-on experience working with real-world security issues. For positions within the Mission Systems Division, individuals with experience
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions