-
publications in top journals (or conferences) in one or more of the following areas: Quantum machine learning, Quantum algorithms , Quantum information theory or Theoretical Physics Essential criteria
-
undertaking a specified range of activities within the research fields of holography, gauge theory and related areas. Role Summary Work within specified research grants and projects and contribute to writing
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
Searches related to graph theory
Enter an email to receive alerts for graph-theory positions