The proposed research project aims to achieve significant advancements in the field of higher-order quantum operations (HOQO), the quantum analogue of functional programming. The investigation will address critical areas such as the storage and retrieval of quantum programmes in quantum memory and the transformation of unknown quantum programmes. In addition, the research seeks to enhance 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 tackle the challenges posed by noisy universal programmable quantum processors, with the objective of developing practical efficiencies and operational frameworks that move closer to real-world quantum computing applications.
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 iaims to enhance potential practical implementations and provide insights into the foundational constraints imposed by quantum theory.
A core element of the research involves the use of symmetries and the application of semidefinite programming (SDP) methods. The project will focus on reducing the complexity of SDP through symmetry reduction techniques, which are expected to result in significant computational savings and provide valuable theoretical insights into the structure of solutions.
By addressing both the practical and theoretical dimensions of quantum computation, the project aspires to make substantial contributions to the advancement of both the theoretical foundations and practical applications of quantum computing. The mathematical techniques developed through this research are expected to be broadly applicable across other branches of physics and may also offer novel insights of interest to the mathematical community.
How to apply
For a detailed description of the application and recruitment procedure, please follow the links:
Post-doc position at ICTQT, UG - offer no. ICTQT_2025_7
The proposed research project aims to achieve significant advancements in the field of higher-order quantum operations (HOQO), the quantum analogue of functional programming. The investigation will address critical areas such as the storage and retrieval of quantum programmes in quantum memory and the transformation of unknown quantum programmes. In addition, the research seeks to enhance 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 tackle the challenges posed by noisy universal programmable quantum processors, with the objective of developing practical efficiencies and operational frameworks that move closer to real-world quantum computing applications.
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 iaims to enhance potential practical implementations and provide insights into the foundational constraints imposed by quantum theory.
A core element of the research involves the use of symmetries and the application of semidefinite programming (SDP) methods. The project will focus on reducing the complexity of SDP through symmetry reduction techniques, which are expected to result in significant computational savings and provide valuable theoretical insights into the structure of solutions.
By addressing both the practical and theoretical dimensions of quantum computation, the project aspires to make substantial contributions to the advancement of both the theoretical foundations and practical applications of quantum computing. The mathematical techniques developed through this research are expected to be broadly applicable across other branches of physics and may also offer novel insights of interest to the mathematical community.
