Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Quantum Computing


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


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Luís Soares Barbosa