Quantum Computing
[Closed]
Work description
This project aims to study compositionality and parametrisation in quantum modelling and to develop suitable languages and a program calculus suitable to modular design and analysis of quantum and hybrid quantum-classical algorithms. Research will resort to diagrammatic calculi, corresponding to variants of monoidal categories. The ZX calculus will be a starting point in the envisaged investigation. A typical application focus is provided by quantum approaches to machine learning, in domains such as data representations, model training and formal description of learning algorithms.
Academic Qualifications
MSc in computer engineering, computer science, or related field.
Minimum profile required
- Mastery and independent use of the ZX calculus and associated tools;- Completed Master's degree with average >= 15.
Preference factors
- Academic training, at MSc level or equivalent in formal programming methods; - Familiarity with quantum computing.
Application Period
Since 29 Nov 2024 to 12 Dec 2024
[Closed]
Centre
High-Assurance Software