Quantum Computing
[Closed]
Work description
The goal of this project is to study the coalgebraic characterization of quantum automata and the definition of logics suitable to the specificationand verification of their properties. The workplan involves 1. A literature review; 2. A novel mathematical work to characterize quantum automata coalgebraically; 3. Characterization of the emergent modal logic; 4. Characterization of a paraconsistent extension of the former.
Academic Qualifications
Student in Computer Science, Physics Engineering or Informatics Engineering
Minimum profile required
Good knowlegde of quantum computation and quantum information
Preference factors
Marks above average in courses related to quantum computation and quantum information); Previous experience in Qiskit or Quipper; Proficiency in English.
Application Period
Since 26 May 2020 to 08 Jun 2020
[Closed]
Cluster / Centre
Computer Science / High-Assurance Software