-
Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and
-
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
-
category/type: Research Date posted: 16/05/2025 Job reference: Q05296 Faculty of Health and Life Sciences This new full-time post is immediately available until 30 June 2026 on a fixed term basis. The post