Centre for Quantum Mathematics
We are looking for candidates with a strong track record in pure mathematics or theoretical physics. You would join the Centre for Quantum Mathematics (QM), a newly established centre with the ambition to create a highly international and interdisciplinary group within a broad spectrum of pure mathematics and mathematical physics including applications to quantum computing.
There are currently 35 researchers within the field of quantum mathematics at the centre and we are currently hiring at all levels. Core faculty members at QM include:
- Jørgen Ellegaard Andersen (Centre Director)
- Vivek Shende
- Du Pei
- Fabian Haiden
- Shan Shan
QM’s special emphasis is the mathematical foundations for quantum theory and we are committed to an ambitious buildup of top international scholars in the field of the mathematical foundations of quantum field theory and string theory and further in the mathematical foundations of quantum engineering.
Given that current development of mathematical foundations of quantum theory draws from and needs a diverse deep understanding of all branches of pure mathematics, we encourage applications from researchers in all fields of pure mathematics and theoretical physics, with the ambition of building their own group centered around their specific area of specialization.
Operator Algebras and related topics
We are looking for candidates with a research profile that aligns well with the existing research group in Operator Algebras. The core faculty in the Operator Algebra Group consists of:
Our group conducts research within a wide range of topics related to operator algebras and non-commutative geometry, including graph C*-algebras, quantum metric spaces, KK-theory, quantum groups, classification of C*-algebras and generalized inductive systems.
We encourage applications from researchers with a strong publication track record related or adjacent to the topics mentioned above, with the ambition of building their own group centered around their specific area of specialization.
Programming languages and technology
We are looking for candidates with a strong track record in programming languages and formal methods, including theory and practice. You would join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, which conducts world-class research in innovative topics such as, but not limited to, Choreographic Programming and Quantum Programming Languages.
Core faculty members working on programming languages and formal methods at the section include:
The section is active in a wide range of topics related to concurrency, logic, programming languages, quantum computing, and security, such as choreographic languages, concurrency theory, DevOps, foundations of quantum programming, microservices, post-quantum cryptography, probabilistic and quantitative methods, session types, theorem proving, and usable security.
We encourage applications from researchers in the fields mentioned above or adjacent, with the ambition of building their own group centered around their specific area of specialization.