QUANTUM COMPUTING

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 28 Nov to 11 Dec Centre High-Assurance Software Scientific Advisor Luís Soares Barbosa