-
-edge research in machine learning and automated reasoning for safe algorithmic systems. The Research Fellow will be responsible for developing advanced theory and machine learning algorithms
-
Theory Group (SMTG) is led by Professor David O. Scanlon. We are seeking to recruit a Research Fellow in Computational Discovery of Wide Band Gap Conducting Oxides, who will computationally explore new
-
excellence in Data Engineering, Data Science and AI theory and practice, ensuring their co-evolution and competent adoption across disciplines to enable transformative, interdisciplinary, impactful data
-
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