We are looking for two PhD Students to work in the International Centre for Theory of Quantum Technologies (ICTQT) hosted by the University of Gdańsk. The positions are offered in the Quantum Devices in Computer Science Group (QDCS) led by Michał Studziński within the SONATA-BIS project.
This recruitment concerns a PhD student position created as part of the SONATA-BIS project No. UMO-2024/54/E/ST2/00316, entitled "Efficient higher-order quantum computations". The project is financed by the National Science Centre (NCN) in Poland.
About the SONATA-BIS project
The proposed research project aims to achieve significant advancements in the field of higher-order quantum operations (HOQO), the quantum analogue of functional programming. Our investigation will cover critical areas such as the storage and retrieval of quantum programs in quantum memory and the transformation of unknown quantum programs. Additionally, the research seeks to improve the efficiency of quantum unitary programming techniques and quantum machine learning for quantum processes by exploring the theory of universal programmable quantum processors. The project will also address the problem of noisy universal programmable quantum processors, with the goal of developing practical efficiencies and operational frameworks that bring us closer to real-world quantum computing environments.
The project will explore the design of quantum strategies aimed at reducing resource requirements, while simultaneously addressing both practical scenarios and fundamental theoretical limits. This dual approach aims to enhance potential practical implementations and provide insights into the foundational constraints imposed by quantum theory.
A core component of this research involves utilizing symmetries and applying semidefinite programming (SDP) methods. We will focus on reducing the complexity of SDP through symmetry reduction techniques, which are expected to yield significant computational savings and offer valuable theoretical insights into the structure of solutions.
By addressing both the practical and theoretical aspects of quantum computation, the project aspires to make substantial contributions to the advancement of the theoretical foundations and practical applications of quantum computing. The mathematical techniques developed in this research are expected to have broader applicability across other branches of physics and may also provide novel insights of interest to the mathematical community.
